Reasoning about cryptographic protocols in the spi calculus

被引：0
|
作者：
Abadi, M [1 ]
Gordon, AD [1 ]
机构：
[1] Digital Equipment Corp, Syst Res Ctr, Maynard, MA 01754 USA
来源：
CONCUR'97 : CONCURRENCY THEORY | 1997年 / 1243卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The spi calculus is an extension of the pi calculus with constructs for encryption and decryption. This paper develops the theory of the spi calculus, focusing on techniques for establishing testing equivalence, and applying these techniques to the proof of authenticity and secrecy properties of cryptographic protocols.
引用
收藏
页码：59 / 73
页数：15
相关论文
共 50 条
  • [31] A Heuristic Calculus for Transformative Reasoning about Social Information
    Rubin, Stuart H.
    2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 533 - 538
  • [32] Using session types for reasoning about boundedness in the π-calculus
    Huttel, Hans
    ACTA INFORMATICA, 2020, 57 (06) : 801 - 827
  • [33] Using Session Types for Reasoning About Boundedness in the π-Calculus
    Huttel, Hans
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 67 - 82
  • [34] Stochastic Sharing Calculus for Reasoning About Social Networks
    Aman, Bogdan
    Ciobanu, Gabriel
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (06) : 1048 - 1066
  • [35] Reasoning about noisy sensors and effecters in the situation calculus
    Bacchus, F
    Halpern, JY
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 171 - 208
  • [36] Reluplex: a calculus for reasoning about deep neural networks
    Katz, Guy
    Barrett, Clark
    Dill, David L.
    Julian, Kyle
    Kochenderfer, Mykel J.
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 60 (01) : 87 - 116
  • [37] Reluplex: a calculus for reasoning about deep neural networks
    Guy Katz
    Clark Barrett
    David L. Dill
    Kyle Julian
    Mykel J. Kochenderfer
    Formal Methods in System Design, 2022, 60 : 87 - 116
  • [38] Reasoning about QoS Contracts in the Probabilistic Duration Calculus
    Guelev, Dimitar P.
    Van Hung, Dang
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 238 (06) : 41 - 62
  • [39] Symbolic calculus for volumetric reasoning about process plans
    Lee, HM
    Scott, J
    Williams, JS
    Cox, D
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1996, 10 (03): : 183 - 198
  • [40] Reasoning about noisy sensors and effectors in the situation calculus
    Bacchus, Fahlem
    Halpern, Joseph Y.
    Levesque, Hector J.
    Artificial Intelligence, 1999, 111 (01): : 171 - 208
12345