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.
The Dolev-Yao-Style IntruderOverview Module 3 & 4• Introduction• Two formal specification languages:AnB<strong>Syntax</strong>AnB<strong>Semantics</strong>Roles<strong>Syntax</strong> The Dolev-YaostyleintruderRoles<strong>Semantics</strong>• <strong>Security</strong> Properties• L<strong>and</strong>scape of Protocol Models: a quick tour.Sebastian Mödersheim FMSEC Module 3, v.2 5.10.2009 13 of 36