The Modelling and Analysis of Security Protocols
| Author | : Peter Ryan |
| Publisher | : Addison-Wesley Professional |
| Total Pages | : 314 |
| Release | : 2001 |
| ISBN-10 | : 9780201674712 |
| ISBN-13 | : 0201674718 |
| Rating | : 4/5 (718 Downloads) |
Book Synopsis The Modelling and Analysis of Security Protocols by : Peter Ryan
Download or read book The Modelling and Analysis of Security Protocols written by Peter Ryan and published by Addison-Wesley Professional. This book was released on 2001 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR - Theorem proving - Simplifying transformations - Other approaches - Prospects and wider issues.