Juan J. Ortega

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

Javier López, Juan J. Ortega, José M. Troya
Security protocols analysis: A SDL-based approach. Comput. Stand. Interfaces 27 (5) (2005)
Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega
PKI design based on the use of on-line certification authorities. Int. J. Inf. Sec. 2 (2) (2004)
Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
A framework for secure execution of software. Int. J. Inf. Sec. 3 (2) (2004)
Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle
Integrating PMI services in CORBA applications. Comput. Stand. Interfaces 25 (4) (2003)
Javier López, Juan J. Ortega, José M. Troya, José Luis Vivas
High-level specification of security systems. GLOBECOM (2003)
Javier López, Juan J. Ortega, José Luis Vivas, José M. Troya
How to Specify Security Services: A Practical Approach. Communications and Multimedia Security (2003)
Javier López, Juan J. Ortega, José M. Troya
Applying SDL to Formal Analysis of Security Systems. SDL Forum (2003)
Javier López, Juan J. Ortega, José M. Troya
Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec (2002)
Javier López, Juan J. Ortega, José M. Troya
Verification of Authentication Protocols using SDL-method. SIS (2002)
Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. EGOV (2002)
Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
Distributed Storage and Revocation in Digital Certificate Databases. DEXA (2000)
Jorge Dávila, Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
Development of Secure Internet Applications for Governmental Environments. DEXA Workshop (2000)
Javier López, Antonio Mana, Juan J. Ortega
Cert'eM: Certification System Based on Electronic Mail Service Structure. CQRE (1999)