Login / Signup

Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL.

Andreas Viktor HessSebastian Mödersheim
Published in: CSF (2017)
Keyphrases
  • security protocols
  • theorem prover
  • natural deduction
  • automated design
  • security services
  • formal methods
  • security properties
  • cryptographic algorithms