一种新的双方不可否认密码协议及其形式化分析

• 作者: 曾吉文 桑永宣
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 数学
• 关键词: 不可否认密码协议 可信第三方 SVO逻辑 形式化分析
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 研究论文
• 页码范围: 635-640
• 页数: 6页
• 分类号: O157.4
• 字数: 5667字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2008.05.005

摘要

不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击.冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾吉文	厦门大学数学科学学院	35	107	6.0	9.0
2	桑永宣	厦门大学数学科学学院	3	14	2.0	3.0