Beschrijving
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.
Boekdetails
Formaat
Paperback
Pagina's
134 pagina's
Taal
Engels
Gepubliceerd
nov. 14, 2014
Uitgever
Now Publishers Inc
Editie
Reprint
Edities
2 edities
ISBN-10
1601989024
ISBN-13
9781601989024