基于一阶逻辑的非否认协议模型

• 作者: 朱玉娜 王亚弟 范钰丹 赵宇 韩继红
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 非否认性 公平性 一阶逻辑 形式化分析
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 信息与网络安全
• 页码范围: 2189-2193
• 页数: 5页
• 分类号: TP309
• 字数: 6797字
• 语种: 中文

摘要

为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析,提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义.在此基础上建立了一个用于分析非否认性和公平性的一阶逻辑模型,并以Fair ZG非否认协议为例进行了分析,发现了该协议的一个已知攻击,证明了模型的有效性和正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
3	范钰丹	信息工程大学电子技术学院	6	13	2.0	3.0
4	赵宇	信息工程大学电子技术学院	6	14	2.0	3.0
5	朱玉娜	信息工程大学电子技术学院	4	20	2.0	4.0