Juan J. Ortega

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