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 条
  • [1] A calculus for cryptographic protocols: The spi calculus
    Abadi, M
    Gordon, AD
    INFORMATION AND COMPUTATION, 1999, 148 (01) : 1 - 70
  • [2] Reasoning about cryptographic protocols in observational theories
    Zaabar, Imen
    Berregeb, Narjes
    ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 539 - +
  • [3] A calculus for cryptographic communication protocols - The CCP calculus
    Fang, Luming
    Wang, Hangjun
    2006 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1-4: VOL 1: SIGNAL PROCESSING, 2006, : 1651 - +
  • [4] On compositional reasoning in the spi-calculus
    Boreale, M
    Gorla, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002, 2303 : 67 - 81
  • [5] The Model Reasoning Verifier for cryptographic protocols
    Liu, YW
    Li, WQ
    COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 290 - 295
  • [6] Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
    Yolum, P
    Singh, MP
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 227 - 253
  • [7] Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
    Pınar Yolum
    Munindar P. Singh
    Annals of Mathematics and Artificial Intelligence, 2004, 42 : 227 - 253
  • [8] A Core Calculus for Equational Proofs of Cryptographic Protocols
    Gancher, Joshua
    Sojakova, Kristina
    Fan, Xiong
    Shi, Elaine
    Morrisett, Greg
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 866 - 892
  • [9] A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange
    Backes, Michael
    Dreier, Jannik
    Kremer, Steve
    Kuennemann, Robert
    2017 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P), 2017, : 76 - 91
  • [10] A Formal Analysis Method with Reasoning for Cryptographic Protocols
    Yan, Jingchen
    Wagatsuma, Kazunori
    Gao, Hongbiao
    Cheng, Jingde
    PROCEEDINGS OF 2016 12TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2016, : 566 - 570
12345