Back Juan J. Ortega Assistant Professor (partial time)Computer Science Department, University of MalagaCampus de Teatinos s/n,29071 – Malaga (Spain)Phone: +(34) 951-9-52763 Fax: +(34) 952-1-31397E-mail: juanjose@lcc.uma.es Domain of interest and researchFormal methods in security protocolsStandard ISO 27000, Information Security Management SystemSecurity in E-learningCurrent researchInformation Security SystemsEducationPhD Computer Engineering, University of Malaga (2005)MSc Computer Science, University of Malaga (1995)Relevant publicationsJ. Lopez, J. J. Ortega, and J. M. Troya, “Security Protocols Analysis: A SDL-based Approach“,Computer Standards & Interfaces, vol. 27, no. 3, Elsevier, pp. 489-499, 2005. (I.F.: 0.62)More..J. Lopez, A. Mana, J. A. Montenegro, and J. J. Ortega, “PKI Design Based on the Use of On-line Certification Authorities“,International Journal of Information Security (IJIS), vol. 2, no. 2, Springer, pp. 91-102, 2004. More..Attended courses and seminarsFOSAD’02, 3rd International School on Foundations of Security Analysis and Design. Bertinoro, Italy, 23-27 September 2002