Login / Signup
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
Manuel Cheminod
Ivan Cibrario Bertolotti
Luca Durante
Riccardo Sisto
Adriano Valenzano
Published in:
DepCoS-RELCOMEX (2007)
Keyphrases
</>
formal analysis
experimental comparison
cryptographic protocols
formal methods
feature selection
building blocks
agent model
standard model
database
software development
lightweight
authentication protocol
ban logic