Secrecy by typing in security protocols

DOI Web Site 2 Citations

Description

<jats:p>We develop principles and rules for achieving secrecy properties in security protocols. Our approach is based on traditional classification techniques, and extends those techniques to handle concurrent processes that use shared-key cryptography. The rules have the form of typing rules for a basic concurrent language with cryptographic primitives, the spi calculus. They guarantee that, if a protocol typechecks, then it does not leak its secret inputs.</jats:p>

Journal

  • Journal of the ACM

    Journal of the ACM 46 (5), 749-786, 1999-09

    Association for Computing Machinery (ACM)

Citations (2)*help

See more

Details 詳細情報について

Report a problem

Back to top