GNY逻辑系统可靠性分析  

Reliability Analysis of the GNY Logic System

作　　者：荣昆[1] 李益发[1] 付吉[2] 

机构地区：[1]信息工程大学信息工程学院,河南郑州450002 [2]信息工程大学科研部,河南郑州450002

出　　处：《信息工程大学学报》2006年第2期132-136,共5页Journal of Information Engineering University

基　　金：国家973计划资助项目(035801);河南省自然科学基金资助项目(SP200304098)

摘　　要：网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY逻辑的可靠性分析,指出GNY逻辑是一个不可靠的认证逻辑系统。In the information era, network security is very important, while the security protocol is one of the key problems. There are many ways proposed to analyze the security protocols, the BAN like logic is one of the important ways and GNY logic is one of the BAN like logic, the reliability of the authentication logic system is relation to the correct of the alalytic result. In this paper, based on the reliability analysis of the GNY logic, we demonstrate that the GNY Logic is unreliable.

关 键 词：安全协议 可靠性 GNY逻辑 BAN类逻辑 

分 类 号：O141[理学—数学] TP309[理学—基础数学]