Description
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.
Book Details
Format
Paperback
Pages
134 pages
Language
English
Published
Nov 14, 2014
Publisher
Now Publishers Inc
Edition
Reprint
Editions
2 editions
ISBN-10
1601989024
ISBN-13
9781601989024