Scroll Top

Juan J. Ortega

Assistant Professor (partial time)

Computer Science Department, University of Malaga
Campus de Teatinos s/n,29071 – Malaga (Spain)
Phone: +34 951 952 763

Domain of interest and research
  • Formal methods in security protocols
  • Standard ISO 27000, Information Security Management System
  • Security in E-learning
Current research
  • Information Security Systems
  • PhD Computer Engineering, University of Malaga (2005)
  • MSc Computer Science, University of Malaga (1995)
Relevant publications

Javier Lopez, Juan J. Ortega, Jose M. Troya

Security Protocols Analysis: A SDL-based Approach Journal Article

In: Computer Standards & Interfaces, vol. 27, no. 3, pp. 489-499, 2005, ISSN: 0920-5489.

Abstract | BibTeX | Links:

Javier Lopez, Antonio Mana, Jose A. Montenegro, Juan J. Ortega

PKI Design Based on the Use of On-line Certification Authorities Journal Article

In: International Journal of Information Security (IJIS), vol. 2, no. 2, pp. 91-102, 2004, ISSN: 1615-5262.

Abstract | BibTeX | Links:

Attended courses and seminars
  • FOSAD’02, 3rd International School on Foundations of Security Analysis and Design. Bertinoro, Italy, 23-27 September 2002