GNY逻辑系统可靠性分析

• 作者: 付吉 李益发 荣昆
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全协议 可靠性 GNY逻辑 BAN类逻辑
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 数学、信息安全
• 页码范围: 132-136
• 页数: 5页
• 分类号: O141|TP309
• 字数: 4654字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2006.02.007

摘要

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性.人们提出了多种安全协议的分析方法, BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑.而认证逻辑本身的可靠性关系到分析结果的正确性.文章通过对GNY逻辑的可靠性分析,指出GNY逻辑是一个不可靠的认证逻辑系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李益发	信息工程大学信息工程学院	29	175	6.0	12.0
2	付吉	信息工程大学科研部	3	13	2.0	3.0
3	荣昆	信息工程大学信息工程学院	1	4	1.0	1.0