Biblio

Export results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is E and Author is Juan J. Ortega  [Clear All Filters]
Conference Paper
I. Agudo, J. Lopez, and J. J. Ortega, "Especificación formal y verificación de requisitos de Seguridad",
VIII Reunión Española sobre Criptología y Seguridad de la Información (VIII RECSI), pp. 225-235, Sep 2004.