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
Sin valoraciones aún
Ver vista previaDescripción
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
Información del libro
- Editorial
- Springer
- Fecha de publicación
- 2010-10-05
- Páginas
- 193
- Idioma
- EN
Venta e intercambio
Nadie ofrece este libro en venta o intercambio por ahora.
Reseñas
Todavía no hay reseñas públicas de este libro.
Menciones en posts
Nadie ha publicado todavía citando o mencionando este libro.
En la app
Guárdalo, marca tu lectura, reseña y juega trivia. La experiencia completa está en la app — es gratis.
Descárgala gratis