密码学可靠的不可否认协议辅助验证方法

• 作者: 冯超 唐朝京 张权 陈岳兵
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 小可否认协议 计算模型 密码学可靠性 辅助验证
• 年，卷（期）: 2011,（3）
• 页码范围: 18-26
• 分类号: TP393
• 字数: 8664字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.03.003

摘要

提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法.首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击.其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性.与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐朝京	国防科技大学电子科学与工程学院	97	885	15.0	24.0
2	冯超	国防科技大学电子科学与工程学院	9	62	3.0	7.0
3	张权	国防科技大学电子科学与工程学院	37	245	10.0	13.0
4	陈岳兵	国防科技大学电子科学与工程学院	2	22	1.0	2.0