Descripción
Provides The Reader With A Tutorial On Some Modern Techniques To Model And Automatically Analyze Security Protocols. The Tutorial Can Be Used As A Basis For A Master Or Graduate Course On The Topic, Or As A Primer For Researchers From Different Areas To Get An Overview Of The Kinds Of Techniques That Are Available.
Detalles del libro
Formato
Tapa blanda
Páginas
134 páginas
Idioma
Inglés
Publicado
nov. 14, 2014
Editorial
Now Publishers Inc
Edición
Reprint
Ediciones
2 ediciones
ISBN-10
1601989024
ISBN-13
9781601989024