Formal Models and Techniques for Analyzing Security Protocols
| Author | : Véronique Cortier |
| Publisher | : |
| Total Pages | : 134 |
| Release | : 2014-11-13 |
| ISBN-10 | : 1601989024 |
| ISBN-13 | : 9781601989024 |
| Rating | : 4/5 (024 Downloads) |
Book Synopsis Formal Models and Techniques for Analyzing Security Protocols by : Véronique Cortier
Download or read book Formal Models and Techniques for Analyzing Security Protocols written by Véronique Cortier and published by . This book was released on 2014-11-13 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
