Login / Signup
Efficient construction of machine-checked symbolic protocol security proofs.
Simon Meier
Cas Cremers
David A. Basin
Published in:
J. Comput. Secur. (2013)
Keyphrases
</>
denial of service attacks
theorem prover
intrusion detection
formal proof