Beschreibung
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.
Buchdetails
Format
Taschenbuch
Seiten
134 Seiten
Sprache
Englisch
Veröffentlicht
Nov 14, 2014
Verlag
Now Publishers Inc
Ausgabe
Reprint
Ausgaben
2 Ausgaben
ISBN-10
1601989024
ISBN-13
9781601989024