An extended strand space method for fairness analysis of non-repudiation protocols

被引:0
|
作者
Li, Lei [1 ]
Chen, Jing [2 ]
Wang, Yumin [1 ]
机构
[1] National Key Laboratory of Integrated Service Networks, Xidian University, Xi'an 710071, China
[2] School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
关键词
D O I
暂无
中图分类号
学科分类号
摘要
13
引用
收藏
页码:16 / 20
相关论文
共 50 条
  • [41] The design and analysis of an electronic evidence and non-repudiation protocol
    Yuan, D
    Guo, T
    Fan, PZ
    ISADS 2005: International Symposium on Autonomous Decentralized Systems,Proceedings, 2005, : 570 - 573
  • [42] Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space
    Li, Lei
    Wang, Licheng
    Chen, Jing
    Wang, Ruiming
    Zhang, Zhihong
    DISCRETE DYNAMICS IN NATURE AND SOCIETY, 2014, 2014
  • [43] Generic Fair Non-Repudiation Protocols with Transparent Off-Line TTP
    Wang, Guilin
    APPLIED PUBLIC KEY INFRASTRUCTURE, 2005, 128 : 51 - 65
  • [44] Fair non-repudiation protocol and its formal analysis
    Liu, Jing
    Zhou, Ming-Tian
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2003, 31 (09): : 1422 - 1425
  • [45] Analysis of privacy and non-repudiation on PAY-TV systems
    Song, RG
    Lyu, MR
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2001, 47 (04) : 729 - 733
  • [46] On the quest for impartiality: Design and analysis of a fair non-repudiation protocol
    Cederquist, J
    Corin, R
    Dashti, MT
    INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2005, 3783 : 27 - 39
  • [47] A kind of analysis method of off-line TTP fair non-repudiation protocol
    Liu, Dongmei
    Qing, Sihan
    Ma, Hengtai
    Li, Shuren
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (04): : 656 - 665
  • [48] Non-repudiation protocol for E-mail and its formal analysis
    Peng, Hongyan
    Li, Xiaojian
    Xia, Chunhe
    Deng, Jianfeng
    Zhou, Xiaofa
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2006, 43 (11): : 1914 - 1919
  • [49] Fair non-repudiation cryptographic protocol and its formal analysis and applications
    Lin, X.X. (lixx@cscw.buaa.edu.cn), 1628, Chinese Academy of Sciences (11):
  • [50] Formal Analysis and Improvement of Multi-party Non-repudiation Protocol
    Wang, Xueming
    2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4120 - 4123