Secrecy by typing in security protocols

DOI Web Site 被引用文献2件

説明

<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 of the ACM

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

    Association for Computing Machinery (ACM)

被引用文献 (2)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ