Descripción semántica de propiedades y patrones de seguridad en modelos software

• Autores: Antonio Maña , Diego Ray, M.I. Yagüe, Francisco Sánchez
• Localización: Avances en criptología y seguridad de la información / Arturo Ribagorda Garnacho (dir.) , Benjamín Álvarez (dir.) , 2004, ISBN 84-7978-650-7, págs. 311-320
• Idioma: español
• Texto completo no disponible (Saber más ...)