Casper: A Compiler for the Analysis of Security Protocols
Gavin Lowe
Details
| Journal |
Journal of Computer Security |
| Number |
1−2 |
| Pages |
53−84 |
| Volume |
6 |
| Year |
1998 |
Links
Related pages
|
People |