Related Books
Language: en
Pages: 372
Pages: 372
Type: BOOK - Published: 2020-03-17 - Publisher: John Wiley & Sons
The purpose of designing this book is to discuss and analyze security protocols available for communication. Objective is to discuss protocols across all layers
Language: en
Pages: 314
Pages: 314
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional
An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR -
Language: en
Pages: 314
Pages: 314
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional
An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR -
Language: en
Pages: 402
Pages: 402
Type: BOOK - Published: 2008-02-13 - Publisher: Springer Science & Business Media
This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rath
Language: en
Pages: 379
Pages: 379
Type: BOOK - Published: 2012-06-20 - Publisher: Springer Science & Business Media
"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of s