Computationally sound mechanized proof for a non-repudiation protocol

被引：0
|
作者：
Feng, Chao [1 ]
Chen, Yue-Bing [1 ]
Zhang, Quan [1 ]
Tang, Chao-Jing [1 ]
机构：
[1] School of Electronic Science, National University of Defense Technology, Changsha 410073, China
来源：
Tongxin Xuebao/Journal on Communications | 2011年 / 32卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
13
引用
收藏
页码：18 / 26
相关论文
共 50 条
  • [21] Non-repudiation Services for the MMS Protocol of IEC 61850
    Ruland, Karl Christoph
    Sassmannshausen, Jochen
    SECURITY STANDARDISATION RESEARCH, SSR 2015, 2015, 9497 : 70 - 85
  • [22] Evidence and non-repudiation
    Zhou, JY
    Gollmann, D
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (03) : 267 - 281
  • [23] 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
  • [24] Implement Authentication and Non-Repudiation on RTP protocol for VoIP
    Koo, Tung-Ming
    Shih, Tien-Teng
    PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES, 2011, 10 : 335 - 344
  • [25] 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
  • [26] Evidence and non-repudiation
    National University, Singapore, Singapore
    不详
    J Network Comput Appl, 3 (267-281):
  • [27] A securely fair non-repudiation protocol with TTP load lightly
    Meng, B
    Xiong, QX
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2, 2004, : A13 - A17
  • [28] On the formal analyses of the Zhou-Gollmann non-repudiation protocol
    Pancho-Festin, S
    Gollmann, D
    FORMAL ASPECTS IN SECURITY AND TRUST, 2006, 3866 : 5 - 15
  • [29] 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
  • [30] Observations on non-repudiation
    Lect Notes Comput Sci, (133):
12345