Skip to main content

Casper: A Compiler for the Analysis of Security Protocols

Gavin Lowe

Journal
Journal of Computer Security
Number
1−2
Pages
53−84
Volume
6
Year
1998