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 条
  • [41] LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π-Calculus Extension Theory
    Wu, Fusheng
    Liu, Jinhui
    Li, Yanbin
    Ni, Mingtao
    IET INFORMATION SECURITY, 2024, 2024
  • [42] Constructing and Reasoning About Security Protocols Using Invariants
    Mooij, Arjan J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 201 : 99 - 126
  • [43] Toward Reasoning about Security Protocols: A Semantic Approach
    Hommersom, Arjen
    Meyer, John-Jules
    de Vink, Erik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 53 - 75
  • [44] Reasoning about agents' interaction protocols inside DCaseLP
    Baldoni, A
    Baroglio, C
    Gungui, I
    Martelli, A
    Martelli, M
    Mascardi, V
    Patti, V
    Schifanella, C
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES II, 2005, 3476 : 112 - 131
  • [45] Formal Reasoning about Physical Properties of Security Protocols
    Basin, David
    Capkun, Srdjan
    Schaller, Patrick
    Schmidt, Benedikt
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2011, 14 (02)
  • [46] Symbolic bisimulation in the Spi Calculus
    Borgström, J
    Briais, S
    Nestmann, U
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 161 - 176
  • [47] Stateless Cryptographic Protocols
    Goyal, Vipul
    Maji, Hemanta K.
    2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687
  • [48] Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus
    Xu, Lili
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 198 - 212
  • [49] A relation calculus for reasoning about t-probing security
    Molteni, Maria Chiara
    Zaccaria, Vittorio
    JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2022, 12 (01) : 1 - 14
  • [50] A relation calculus for reasoning about t-probing security
    Maria Chiara Molteni
    Vittorio Zaccaria
    Journal of Cryptographic Engineering, 2022, 12 : 1 - 14
12345