Sciweavers

Share
DAGSTUHL
2003

Operational Semantics of Security Protocols

10 years 1 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the binding of local constants to role instances, and explicitly defined initial intruder knowledge. We validate our framework by analysing the Needham-Schroeder-Lowe protocol.
Cas J. F. Cremers, Sjouke Mauw
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DAGSTUHL
Authors Cas J. F. Cremers, Sjouke Mauw
Comments (0)
books