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


 Personal

  Curso: 2017-18. Cambiar a:  2016-17   2018-19

Nombre: TOBARRA ABAD, MARIA LLANOS
despacho:
correo electrónico:
Categoría: Becarios de Investigación



Technical Reports
DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
DIAB-04-11-2 2004-11-30 Verificación de TLS 1.0 y extensiones para redes inalámbricas


 

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