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 条
  • [21] Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
    Mateus, P
    Mitchell, J
    Scedrov, A
    CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 327 - 349
  • [22] Equational Reasoning About Quantum Protocols
    Gay, Simon J.
    Puthoor, Ittoop V.
    REVERSIBLE COMPUTATION, RC 2015, 2015, 9138 : 155 - 170
  • [23] Reasoning about active network protocols
    Bhattacharjee, S
    Calvert, KL
    Zegura, EW
    SIXTH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, PROCEEDINGS, 1998, : 31 - 40
  • [24] Provably correct Java']Java implementations of Spi Calculus security protocols specifications
    Pironti, Alfredo
    Sisto, Riccardo
    COMPUTERS & SECURITY, 2010, 29 (03) : 302 - 314
  • [25] Representing and Reasoning about Program in Situation Calculus
    Yang Bo
    Zhang Ming-yi
    Wu Mao-nian
    Xie Gang
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
  • [26] Hypothetical reasoning about actions: From situation calculus to event calculus
    Provetti, A
    COMPUTATIONAL INTELLIGENCE, 1996, 12 (03) : 478 - 498
  • [27] Pitfalls in Formal Reasoning about Security Protocols
    Moebius, Nina
    Stenzel, Kurt
    Reif, Wolfgang
    FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS, 2010, : 248 - 253
  • [28] On bisimulations for the spi calculus
    Borgström, J
    Nestmann, U
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (03) : 487 - 552
  • [29] Reasoning about minimal anonymity in security protocols
    Tiplea, Ferucio Laurentiu
    Vamanu, Loredana
    Varlan, Cosmin
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2013, 29 (03): : 828 - 842
  • [30] Segment calculus and region calculus: an engineering approach to reasoning about time and space
    Nippon Kikai Gakkai Ronbunshu C Hen, 597 (2050-2057):
12345