一种基于混合密码体制的不可否认协议及其形式化分析

• 作者: 张建中 李艳平
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 欺诈 否认 BAN逻辑 Kailar逻辑
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 论文
• 页码范围: 185-190
• 页数: 6页
• 分类号: TP309
• 字数: 5369字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2004.02.007

摘要

提出一个基于混合密码体制的抗否认密码协议:可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性;在通常情况下只需通信双方进行3次信息的交互,且保证传递数据的机密性与收发方交易的隐私权;避免了可信第三方可能成为系统瓶颈的问题.最后给出该协议的形式化分析,证明了它的公平性、安全性与可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张建中	陕西师范大学数学与信息科学学院	250	1032	13.0	18.0
2	李艳平	陕西师范大学数学与信息科学学院	41	109	6.0	7.0