Login / Signup
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties.
Pascal Lafourcade
Maxime Puys
Published in:
FPS (2015)
Keyphrases
</>
cryptographic protocols
security properties
algebraic properties
standard model
security protocols
formal verification
authentication protocol
data points
formal model
formal methods