Types and effects for asymmetric cryptographic protocols

被引：26

作者：

Gordon, AD ^{[1
]}

Jeffrey, A ^{[1
]}

机构：

[1] Microsoft Res, Cambridge, England

来源：

15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS | 2002年

关键词：

D O I：

10.1109/CSFW.2002.1021808

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our type system are: (1) a separation of public types (for data possibly sent to the opponent) from tainted types (for data possibly received from the opponent) via a subtype relation; (2) trust effects, to guarantee that tainted data does not, in fact, originate from the opponent; and (3) challenge/response types to support a variety of idioms used to guarantee message freshness. We illustrate the applicability of our system via protocol examples.

引用

页码：77 / 91

页数：15

共 50 条

[1] Authenticity types for cryptographic protocols
Gordon, A
[J]. FORMAL ASPECTS OF SECURITY, 2003, 2629 : 3 - 3
[2] On cryptographic protocols employing asymmetric pairings - The role of Ψ revisited
Chatterjee, Sanjit
Menezes, Alfred
[J]. DISCRETE APPLIED MATHEMATICS, 2011, 159 (13) : 1311 - 1322
[3] Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra
Z. Lipiński
[J]. Applicable Algebra in Engineering, Communication and Computing, 2021, 32 : 81 - 96
[4] Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra
Lipinski, Z.
[J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2021, 32 (01) : 81 - 96
[5] Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols
Dahl, Morten
Kobayashi, Naoki
Sun, Yunde
Huttel, Hans
[J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 75 - +
[6] Stateless Cryptographic Protocols
Goyal, Vipul
Maji, Hemanta K.
[J]. 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687
[7] Cryptography and cryptographic protocols
Goldreich, O
[J]. DISTRIBUTED COMPUTING, 2003, 16 (2-3) : 177 - 199
[8] Programming cryptographic protocols
Guttman, JD
Herzog, JC
Ramsdell, JD
Sniffen, BT
[J]. TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 116 - 145
[9] Cryptography and cryptographic protocols
Oded Goldreich
[J]. Distributed Computing, 2003, 16 : 177 - 199
[10] Cryptographic types
Duggan, D
[J]. 15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS, 2002, : 238 - 252

← 1 2 3 4 5 →