Casper: A Compiler for the Analysis of Security Protocols
Gavin Lowe
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
Gavin Lowe