Sciweavers

Share
CSFW
2005
IEEE

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

9 years 9 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their actions, the latter by global reasoning towards the impossibility of knowledge of some data. Hence, proofs conceptually decompose in two parts, each encapsulating the other as an assumption. From this observation, we develop a simple logic of authentication that encapsulates secrecy requirements as assumptions. We apply it within the derivational framework to derive a large class of key distribution protocols based on the authentication properties of their components.
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where CSFW
Authors Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
Comments (0)
books