On-the-fly model checking of fair non-repudiation Protocols

被引：0
|
作者：
Li, Guoqiang [1 ]
Ogawa, Mizuhito [1 ]
机构：
[1] Japan Adv Inst Sci & Technol, Nomi, Ishikawa 9231292, Japan
来源：
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS | 2007年 / 4762卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communication; (2) no principals can obtain evidence while the other principals cannot do so. This paper extends the model in our previous work [12], and gives a sound and complete on-the-fly model checking method for fair non-repudiation protocols under the assumption of a bounded number of sessions. We also implement the method using Maude. Our experiments automatically detect flaws of several fair non-repudiation protocols.
引用
收藏
页码：511 / +
页数：2
相关论文
共 50 条
  • [1] 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
  • [2] On the security of fair non-repudiation protocols
    Gürgens, S
    Rudolph, C
    Vogt, H
    INFORMATION SECURITY, PROCEEDINGS, 2003, 2851 : 193 - 207
  • [3] An intensive survey of fair non-repudiation protocols
    Kremer, S
    Markowitch, O
    Zhou, JY
    COMPUTER COMMUNICATIONS, 2002, 25 (17) : 1606 - 1621
  • [4] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [5] A fair non-repudiation protocol
    Meng, B
    Wang, SM
    Xiong, QX
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, 2002, : 68 - 73
  • [6] 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
  • [7] A Fair Non-Repudiation Protocol
    Meng, B. (mengbo@263.net.cn), FAPERJ; SBC; UFRI; IEEE; COPPETEC FUNDACAO (Institute of Electrical and Electronics Engineers Inc.):
  • [8] Security analysis of (un-) fair non-repudiation protocols
    Gürgens, S
    Rudolph, C
    FORMAL ASPECTS OF SECURITY, 2003, 2629 : 97 - 114
  • [9] A fair non-repudiation protocol
    Zhou, JY
    Gollmann, D
    1996 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 1996, : 55 - 61
  • [10] Intermediary non-repudiation protocols
    Onieva, JA
    Zhou, JY
    Carbonell, M
    Lopez, J
    IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE, 2003, : 207 - 214
12345