Towards a Completeness Result for Model Checking of Security Protocols
Gavin Lowe
Details
| Journal |
Journal of Computer Security |
| Number |
1 |
| Volume |
7 |
| Year |
1999 |
Links
Related pages
|
People |