一个不可否认协议的缺陷与改进

摘要：

对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的缺陷。在此基础上,提出一个新的不可否认协议,并用串空间模型对该协议进行形式化分析,证明它的公平性。

关键词： 不可否认协议 串空间模型 形式化分析

作者: 吴开贵 廖振岚 陈明

作者单位: 重庆大学计算机学院 重庆 400030

会议类型: 国内会议

会议名称: 2008中国计算机大会

会议地点: 西安

会议语种:中文

页码: 551-557

在线出版日期: 2008-09-25（万方平台首次上网日期，不代表论文的发表时间）