Casper: A Compiler for the Analysis of Security Protocols
Gavin Lowe
Details
| Book Title |
10th Computer Security Foundations Workshop (CSFW '97)‚ June 10−12‚ 1997‚ Rockport‚ Massachusetts‚ USA |
| Pages |
18−30 |
| Publisher |
IEEE Computer Society |
| Year |
1997 |
Links
Related pages
|
People |