A game-based verification of non-repudiation and fair exchange protocols

被引：12
|
作者：
Kremer, Steve [1 ]
Raskin, Jean-François [1 ]
机构：
[1] Departement d'Informatique, Faculté des Sciences, Universite Libre de Bruxelles, Bruxelles, Belgium
来源：
Journal of Computer Security | 2003年 / 11卷 / 03期
关键词：
Alternating temporal logic - Alternating transition systems - Game based model - Game-based verification - Non-repudiation protocols;
D O I：
10.3233/JCS-2003-11307
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：399 / 429
相关论文
共 50 条
  • [21] Improvement of a fair non-repudiation protocol
    Wen, Jinghua
    Liang, Min
    Yang, Zirong
    Li, Xiang
    PROCEEDINGS OF E-ENGDET2006, 2006, : 70 - 74
  • [22] A formal treatment of non-repudiation protocols
    Hada, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (02) : 461 - 470
  • [23] Fair Non-Repudiation for Web Services Transactions
    SU Ruidan
    Wuhan University Journal of Natural Sciences, 2010, 15 (05) : 385 - 392
  • [24] EAR Protocol-Towards Fair Optimistic Non-Repudiation Exchange
    WANG Hai-yan~1
    2.State Key Laboratory of Information Security
    TheJournalofChinaUniversitiesofPostsandTelecommunications, 2005, (02) : 59 - 63
  • [25] Generic Fair Non-Repudiation Protocols with Transparent Off-Line TTP
    Wang, Guilin
    APPLIED PUBLIC KEY INFRASTRUCTURE, 2005, 128 : 51 - 65
  • [26] Automated Design of Non-repudiation Security Protocols
    Xue, Haifeng
    Zhang, Huanguo
    Qing, Sihan
    Yu, Rongwei
    2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 2318 - +
  • [27] Smart card-based agents for fair non-repudiation
    Marin Lopez, Andres
    Diaz Sanchez, Daniel
    Almenarez, Florina
    Garcia Rubio, Carlos
    Campo, Celeste
    COMPUTER NETWORKS, 2007, 51 (09) : 2288 - 2298
  • [28] A quantum fair non-repudiation protocol with QTTP
    Xiong Yan
    Zhang Weichao
    CHINESE JOURNAL OF ELECTRONICS, 2007, 16 (01): : 30 - 33
  • [29] An efficient quantum mechanism based fair non-repudiation protocol
    Zhang Weichao
    Xiong, Yan
    Wang Xingfu
    Miao Fuyou
    CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (01): : 170 - 172
  • [30] A quantum fair non-repudiation protocol with QTTP
    Department of Computer Science, University of Science and Technology of China, Hefei 230027, China
    Chin J Electron, 2007, 1 (30-33):
12345