Domain of interest and research
- Formal Methods
- Distributed Systems Theory
- Security Engineering
- Security Requirements Engineering
- Grid computing
- Security Assurance
- Digital Privacy
Current research
- Security Assurance
- Security Engineering
- Digital Privacy
Education
- PhD Computer Science, Royal School of Technology - KTH, Stockholm, Sweden, 2001.
- MSc Computer Science, University of Stockhom, Stockholm, Sweden, 1996.
Relevant publications
- J. L. Vivas, I. Agudo, and J. Lopez, "A methodology for security assurance-driven system development", in Requirements Engineering, pp. 1-19, 2010.
- J. L. Vivas, C. Fernandez-Gago, A. Benjumea, and J. Lopez, "A security framework for a workflow-based grid development platform", in Computer Standards & Interfaces, Vol: 31, Elsevier, Holland, 2009, ISSN: 0920-5489.
- J. L. Vivas, J. A. Montenegro, and J. Lopez, "Grid Security Architecture: Requirements, Fundamentals, Standards and Models", in Security in Distributed, Grid, Mobile, and Pervasive Computing, Auerbach Publications, pp. 255-288, April, 2007.
- J. L. Vivas, J. A. Montenegro, and J. Lopez, "Towards Businees Process-Driven Framework for Security Engineering with the UML", in 6th International Conference on Information Security (ISC'03), LNCS 2851, Springer-Verlag, pp. 381-395, October, 2003.
Scientific Activities
- Program committee member:
- The Third International Workshop on Organizational Security Aspects (OSA 2011)
- The Second International Workshop on Organizational Security Aspects (OSA 2010)
Presentations
- An experience in use case driven assurance based development (ABD), International Symposium on Engineering Secure Software and Systems (EssOs10), Pisa, February 03-04, 2010.
