An encapsulated authentication logic for reasoning about key distribution protocols

  title={An encapsulated authentication logic for reasoning about key distribution protocols},
  author={Iliano Cervesato and Catherine A. Meadows and Dusko Pavlovic},
  journal={18th IEEE Computer Security Foundations Workshop (CSFW'05)},
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… CONTINUE READING
Highly Cited
This paper has 66 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 41 extracted citations

67 Citations

Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…