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 条
  • [1] Game-based analysis of multi-party non-repudiation protocols
    Wang Xueming
    Li Xiang
    CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 642 - +
  • [2] On the security of fair non-repudiation protocols
    Gürgens S.
    Rudolph C.
    Vogt H.
    International Journal of Information Security, 2005, 4 (4) : 253 - 262
  • [3] On the security of fair non-repudiation protocols
    Gürgens, S
    Rudolph, C
    Vogt, H
    INFORMATION SECURITY, PROCEEDINGS, 2003, 2851 : 193 - 207
  • [4] A theorem-proving approach to verification of fair non-repudiation protocols
    Wei, Kun
    Heather, James
    FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 202 - +
  • [5] An intensive survey of fair non-repudiation protocols
    Kremer, S
    Markowitch, O
    Zhou, JY
    COMPUTER COMMUNICATIONS, 2002, 25 (17) : 1606 - 1621
  • [6] Towards verification of timed non-repudiation protocols
    Wei, K
    Heather, J
    FORMAL ASPECTS IN SECURITY AND TRUST, 2006, 3866 : 244 - 257
  • [7] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [8] On-the-fly model checking of fair non-repudiation Protocols
    Li, Guoqiang
    Ogawa, Mizuhito
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 511 - +
  • [9] A fair non-repudiation protocol
    Meng, B
    Wang, SM
    Xiong, QX
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, 2002, : 68 - 73
  • [10] Fair BPEL processes transaction using non-repudiation protocols
    Bilal, M
    Thomas, JP
    2005 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, VOL 1, PROCEEDINGS, 2005, : 337 - 340
12345