Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages - Veronique Cortier - Libros - now publishers Inc - 9781601989024 - 13 de noviembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Veronique Cortier
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

134 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de noviembre de 2014
ISBN13 9781601989024
Editores now publishers Inc
Páginas 134
Dimensiones 156 × 234 × 7 mm   ·   199 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Veronique Cortier ( Ej. Paperback Book )