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 - Lecture Notes in Computer Science / Security and Cryptology - Alessandro Armando - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642160738 - 8 de octubre de 2010
En caso de que portada y título no coincidan, el título será el correcto

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 - Lecture Notes in Computer Science / Security and Cryptology


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

Constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, that was held in Paphos, Cyprus, in March 2010.


185 pages, 39 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de octubre de 2010
ISBN13 9783642160738
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 185
Dimensiones 152 × 231 × 10 mm   ·   299 g
Lengua Francés  
Editor Armando, Alessandro
Editor Lowe, Gavin

Mas por Alessandro Armando

Mostrar todo

Mere med samme udgiver