Login / Signup
Casper: A Compiler for the Analysis of Security Protocols.
Gavin Lowe
Published in:
J. Comput. Secur. (1998)
Keyphrases
</>
security protocols
information systems
databases
source code