Analysing Security Protocols using CSP
Gavin Lowe
Details
| Book Title |
Formal Models and Techniques for Analyzing Security Protocols |
| Editor |
Véronique Cortier and Steve Kremer |
| Publisher |
IOS Press |
| Year |
2011 |
Links
Related pages
|
People |