| 2004 |
|---|
| 10 | EE | 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) |
| 9 | EE | 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 |
|---|
| 8 | EE | 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 |
| 7 | EE | Javier Lopez,
Juan J. Ortega,
José M. Troya:
Applying SDL to Formal Analysis of Security Systems.
SDL Forum 2003: 300-316 |
| 2002 |
|---|
| 6 | EE | 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 | EE | 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 | EE | Javier Lopez,
Antonio Mana,
Juan J. Ortega,
José M. Troya:
Distributed Storage and Revocation in Digital Certificate Databases.
DEXA 2000: 929-938 |
| 2 | EE | 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 | EE | Javier Lopez,
Antonio Mana,
Juan J. Ortega:
Cert'eM: Certification System Based on Electronic Mail Service Structure.
CQRE 1999: 109-118 |
