Casper: A Compiler for the Analysis of Security Protocols (10th Computer Security Foundations Workshop (CSFW '97)‚ June 10−12‚ 1997‚ Rockport‚ Massachusetts‚ USA, 1997)

(untitled) - Lowe, G