Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.

Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización […]

, , , , ,