 | 2005 |
|---|
| 12 |       | Javier Lopez,
Juan J. Ortega,
José M. Troya:
Security protocols analysis: A SDL-based approach.
Computer Standards & Interfaces 27(5): 489-499 (2005) |
| 2004 |
|---|
| 11 | | Javier Lopez,
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): 91-102 (2004) |
| 10 | | Antonio Mana,
Javier Lopez,
Juan J. Ortega,
Ernesto Pimentel,
José M. Troya:
A framework for secure execution of software.
Int. J. Inf. Sec. 3(2): 99-112 (2004) |
| 2003 |
|---|
| 9 | | Javier Lopez,
Juan J. Ortega,
José Luis Vivas,
José M. Troya:
How to Specify Security Services: A Practical Approach.
Communications and Multimedia Security 2003: 158-171 |
| 8 | | Javier Lopez,
Juan J. Ortega,
José M. Troya:
Applying SDL to Formal Analysis of Security Systems.
SDL Forum 2003: 300-316 |
| 7 | | Javier Lopez,
Antonio Maña,
Juan J. Ortega,
José M. Troya,
Mariemma Inmaculada Yagüe del Valle:
Integrating PMI services in CORBA applications.
Computer Standards & Interfaces 25(4): 391-409 (2003) |
| 2002 |
|---|
| 6 | | Javier Lopez,
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: 211-214 |
| 5 | | Javier Lopez,
Juan J. Ortega,
José M. Troya:
Protocol Engineering Applied to Formal Analysis of Security Systems.
InfraSec 2002: 246-259 |
| 4 |  | Javier Lopez,
Juan J. Ortega,
José M. Troya:
Verification of Authentication Protocols using SDL-method.
SIS 2002: 61-71 |
| 2000 |
|---|
| 3 | | Javier Lopez,
Antonio Mana,
Juan J. Ortega,
José M. Troya:
Distributed Storage and Revocation in Digital Certificate Databases.
DEXA 2000: 929-938 |
| 2 | | Jorge Davila,
Javier Lopez,
Antonio Mana,
Juan J. Ortega,
José M. Troya:
Development of Secure Internet Applications for Governmental Environments.
DEXA Workshop 2000: 362-368 |
| 1999 |
|---|
| 1 | | Javier Lopez,
Antonio Mana,
Juan J. Ortega:
Cert'eM: Certification System Based on Electronic Mail Service Structure.
CQRE 1999: 109-118 |
