Descrizione
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.
Dettagli del libro
Formato
Brossura
Pagine
134 pagine
Lingua
Inglese
Pubblicato
nov 14, 2014
Editore
Now Publishers Inc
Edizione
Reprint
Edizioni
2 edizioni
ISBN-10
1601989024
ISBN-13
9781601989024