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 条
  • [41] A formal analysis of non-repudiation protocols based on first-order logic
    Yudan, Fan
    Jihong, Han
    Yadi, Wang
    Yu, Zhao
    Kai, Liao
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 6580 - 6583
  • [42] Timeout estimation using a simulation model for non-repudiation Protocols
    Carbonell, M
    Onieva, JA
    Lopez, J
    Galpert, D
    Zhou, JY
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1, 2004, 3043 : 903 - 914
  • [43] User assisted verification of non-repudiation and similar properties
    Krishnan, P
    Bannerman, R
    SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 161 - 167
  • [44] Fair non-repudiation in mobile communication using joint signatures
    Tiwari, RK
    2005 IEEE INTERNATIONAL CONFERENCE ON PERSONAL WIRELESS COMMUNICATIONS, 2005, : 438 - 440
  • [45] Formal analysis of multi-party non-repudiation protocols
    Wang Xue-Ming
    Li Xiang
    Proceedings of e-ENGDET2006, 2006, : 89 - 93
  • [46] A New Fair Non-repudiation Protocol for Secure Negotiation and Contract Signing
    Ruiz-Martinez, Antonio
    Inmaculada Marin-Lopez, C.
    Bano-Lopez, Laura
    Gomez-Skarmeta, Antonio F.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (03) : 555 - 583
  • [47] Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
    Klay, Francis
    Vigneron, Laurent
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 192 - +
  • [48] Design and verification of a non-repudiation protocol based on receiver-side smart card
    Liu, J.
    Vigneron, L.
    IET INFORMATION SECURITY, 2010, 4 (01) : 15 - 29
  • [49] A novel formal logic for formal analysis of timeliness in non-repudiation protocols
    Yang, Ke
    Xiao, Meihua
    Zhong, Xiaomei
    Zhong, Yingqiang
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2023, 35 (08)
  • [50] A Fair Non-Repudiation Security Protocol with off-line TTP
    Wang, Xi
    Wen, Xiangming
    Liu, Ye
    Lin, Xinqi
    Wang, Ying
    PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATION, LOGISTICS AND INFORMATICS, 2009, : 173 - +
12345