Sequential rationality in cryptographic protocols

被引：5
|
作者：
Gradwohl, Ronen [1 ]
Livne, Noam [2 ]
Rosen, Alon [3 ]
机构：
[1] Kellogg School of Management, Jacobs Center, Northwestern University, 633 Clark Street, Evanston,IL,60208, United States
[2] Tel-Aviv University, Shenkar 305, Tel-Aviv, Israel
[3] Efi Arazi School, IDC, Nesharim Street Corner Alterman, P.O. Box 167, Herzliya,46 150, Israel
来源：
ACM Transactions on Economics and Computation | 2013年 / 1卷 / 01期
关键词：
All Open Access; Green;
D O I：
10.1145/2399187.2399189
中图分类号：
学科分类号：
摘要：
32
引用
收藏
相关论文
共 50 条
  • [1] Sequential Rationality in Cryptographic Protocols
    Gradwohl, Ronen
    Livne, Noam
    Rosen, Alon
    [J]. 2010 IEEE 51ST ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2010, : 623 - 632
  • [2] Stateless Cryptographic Protocols
    Goyal, Vipul
    Maji, Hemanta K.
    [J]. 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687
  • [3] Cryptography and cryptographic protocols
    Goldreich, O
    [J]. DISTRIBUTED COMPUTING, 2003, 16 (2-3) : 177 - 199
  • [4] Programming cryptographic protocols
    Guttman, JD
    Herzog, JC
    Ramsdell, JD
    Sniffen, BT
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 116 - 145
  • [5] Cryptography and cryptographic protocols
    Oded Goldreich
    [J]. Distributed Computing, 2003, 16 : 177 - 199
  • [6] Secure Composition of Cryptographic Protocols
    Goyal, Vipul
    [J]. PROVABLE SECURITY, 2011, 6980 : 2 - 2
  • [7] A bisimulation method for cryptographic protocols
    Abadi, M
    Gordon, AD
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 12 - 26
  • [8] Special Issue on Cryptographic Protocols
    Vogt, Andreas
    [J]. CRYPTOGRAPHY, 2018, 2 (03)
  • [9] Visualization of cryptographic protocols with GRACE
    Cattaneo, G.
    De Santis, A.
    Petrillo, U. Ferraro
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (02): : 258 - 290
  • [10] Collusion analysis of cryptographic protocols
    Low, SH
    Maxemchuk, NF
    [J]. IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 1 - 5
12345