Login / Signup
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL.
Andreas Viktor Hess
Sebastian Mödersheim
Published in:
CSF (2017)
Keyphrases
</>
security protocols
theorem prover
natural deduction
automated design
security services
formal methods
security properties
cryptographic algorithms