Skip to main content

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