Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.

Simon Meier Cas Cremers David A. Basin

Published in: CSF (2010)

Keyphrases

provably secure
lightweight
intrusion detection
formal proof
network security
theorem proving
security policies
security model
cryptographic protocols
information security
formal analysis
key management
security protocols
security properties
denial of service attacks
key exchange protocol