A derivation system and compositional logic for security protocols

  title={A derivation system and compositional logic for security protocols},
  author={Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic},
  journal={Journal of Computer Security},
Many authentication and key exchange protocols are built using an accepted set of standard concepts such as Diffie–Hellman key exchange, nonces to avoid replay, certificates from an accepted authority, and encrypted or signed messages. We propose a general framework for deriving security protocols from simple components, using composition, refinements, and transformations. As a case study, we examine the structure of a family of key exchange protocols that includes Station-To-Station (STS), ISO… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 185 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

186 Citations

Semantic Scholar estimates that this publication has 186 citations based on the available data.

See our FAQ for additional information.