Models and Proofs of Protocol Security: A Progress Report.

Martín Abadi Bruno Blanchet Hubert Comon-Lundh

Published in: CAV (2009)

Keyphrases

probabilistic model
intrusion detection
security requirements
formal proof
lightweight
parameter estimation
petri net
information security
security analysis
security protocols
authentication protocol
security model
mobile payment
key agreement protocol