Security Protocols II: Syntax and Operational Semantics (Part 1)
Security Protocols II: Syntax and Operational Semantics (Part 1)
Security Protocols II: Syntax and Operational Semantics (Part 1)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
IntroductionFormal modeling <strong>and</strong> analysis of protocolsGoal: formally model protocols <strong>and</strong> their properties <strong>and</strong> provide amathematically sound means for reasoning about these models.Basis: suitable abstraction of protocols:⇒Analysis: with formal methods based on mathematics <strong>and</strong> logic.Sebastian Mödersheim FMSEC Module 3, v.2 5.10.2009 3 of 36