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)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
IntroductionWhat are formal models?• A language is formal when it has a well-defined syntax <strong>and</strong>semantics. Additionally there is often a deductive system fordetermining the truth of statements.• Examples: propositional logic, first-order logic.• A model (or construction) is formal when it is specified in aformal language.• St<strong>and</strong>ard protocol notation is not formal.• We will see today how to formalize such notations.Sebastian Mödersheim FMSEC Module 3, v.2 5.10.2009 2 of 36