Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /

Detalles Bibliográficos
Formato: Libro
Publicado: c2010.
Acceso en línea:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de la Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de la Universidad de Costa Rica
Copia Disponible