Cert'eM: Certification System Based on Electronic Mail Service Structure. - Javier López 001; Antonio Mana; Juan J. Ortega (CQRE, 1999)

Distributed Storage and Revocation in Digital Certificate Databases. - Javier López 001; Antonio Mana; Juan J. Ortega; José M. Troya (DEXA, 2000)

Development of Secure Internet Applications for Governmental Environments. - Jorge Dávila; Javier López 001; Antonio Mana; Juan J. Ortega; José M. Troya (DEXA Workshop, 2000)

Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. - Javier López 001; Antonio Mana; José A. Montenegro; Juan J. Ortega; José M. Troya (EGOV, 2002)

Protocol Engineering Applied to Formal Analysis of Security Systems. - Javier López 001; Juan J. Ortega; José M. Troya (InfraSec, 2002)

Verification of Authentication Protocols using SDL-method. - Javier López 001; Juan J. Ortega; José M. Troya (SIS, 2002)

How to Specify Security Services: A Practical Approach. - Javier López 001; Juan J. Ortega; José Luis Vivas; José M. Troya (Communications and Multimedia Security, 2003)

High-level specification of security systems. - Javier López 001; Juan J. Ortega; José M. Troya; José Luis Vivas (GLOBECOM, 2003)

Applying SDL to Formal Analysis of Security Systems. - Javier López 001; Juan J. Ortega; José M. Troya (SDL Forum, 2003)

Integrating PMI services in CORBA applications. - Javier López 001; Antonio Maña; Juan J. Ortega; José M. Troya; Mariemma Inmaculada Yagüe del Valle (Comput. Stand. Interfaces, 2003)

PKI design based on the use of on-line certification authorities. - Javier López 001; Antonio Mana; José A. Montenegro; Juan J. Ortega (Int. J. Inf. Sec., 2004)

A framework for secure execution of software. - Antonio Mana; Javier López 001; Juan J. Ortega; Ernesto Pimentel 001; José M. Troya (Int. J. Inf. Sec., 2004)

Security protocols analysis: A SDL-based approach. - Javier López 001; Juan J. Ortega; José M. Troya (Comput. Stand. Interfaces, 2005)