1/1
Operational Semantics and Verification of Security Protocols
Autor/Editor: Cremers, Cas - Mauw, Sjouke
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Data Structures - Cryptology and Information Theory - Computer Systems Organization and Communication Ne - Software Engineering/Programming and Operating Sys
Título de la Serie: Information Security and Cryptography
Tipo de documento: Monografía
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-540-78636-8