Opis
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.
Szczegóły książki
Format
Miękka okładka
Strony
134 stron
Język
Angielski
Opublikowany
lis 14, 2014
Wydawca
Now Publishers Inc
Wydanie
Reprint
Wydania
Wydania: 2
ISBN-10
1601989024
ISBN-13
9781601989024