Juan J. Ortega

Mariemma Inmaculada Yagüe del Valle

Comput. Stand. Interfaces, 2005

2004

A framework for secure execution of software.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

PKI design based on the use of on-line certification authorities.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

2003

Integrating PMI services in CORBA applications.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2003

Applying SDL to Formal Analysis of Security Systems.

[BibT_eX]

[DOI]

Proceedings of the SDL 2003: System Design, 2003

High-level specification of security systems.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2003

How to Specify Security Services: A Practical Approach.

[BibT_eX]

[DOI]

Proceedings of the Communications and Multimedia Security, 2003

2002

Verification of Authentication Protocols using SDL-method.

[BibT_eX]

Proceedings of the Security in Information Systems, 2002

Protocol Engineering Applied to Formal Analysis of Security Systems.

[BibT_eX]

[DOI]

Proceedings of the Infrastructure Security, International Conference, 2002

Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, First International Conference, 2002

2000

Development of Secure Internet Applications for Governmental Environments.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Distributed Storage and Revocation in Digital Certificate Databases.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

1999

Cert'eM: Certification System Based on Electronic Mail Service Structure.

[BibT_eX]

[DOI]

Antonio Mana