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 […]
Información academica Fernandez Del Val Carlos. Tesis donde Fernandez Del Val Carlos ha sido autor, director o parte del tribunal.
Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización […]
Tesis doctoral de Antonio Fernandez Calvo El presente trabajo se centra en la formalizacion de los procedimientos que facilitan un
Tesis doctoral de Fernandez Del Val Carlos Datos académicos de la tesis doctoral «Propuesta de introduccion de servicios de