Towards a Completeness Result for Model Checking of Security Protocols
Gavin Lowe
Details
| Book Title |
Computer Security Foundations Workshop |
| Pages |
96−105 |
| Year |
1998 |
Links
Related pages
|
People |