Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad

Aquesta tesi apareix a les col·leccions següents