Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-04-11-1
Fecha Publicación: 26-11-2004
Título: Formal Verification of the Secure Sockets Layer Protocol



 
Autores
 
Autor Detalles
TOBARRA ABAD, MARIA LLANOS
CAZORLA LÓPEZ, DIEGO
PARDO MATEO, JUAN JOSÉ
RUIZ DELGADO, MARÍA CARMEN



 
Ficheros
 
Fichero Bytes Detalles
diab041101.ps.gz 1.1M

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal