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

Doctoral thesis Spanish; Castilian OPEN
Mengual Galan, Luis;
(1998)
  • Publisher: Facultad de Informática (UPM)
  • Subject: Telecomunicaciones | Informática

En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización del proceso de verificación, análisis e implementación de protocolos de seguridad a partir de una especificación formal y con ello, la versatilidad en la incorporación de distintos ... View more
Share - Bookmark