类BAN逻辑基本模型及缺陷  

The Model and Its Defects of BAN Family of Logic

作　　者：许剑卓[1] 戴英侠[1] 左英男[1] 

机构地区：[1]中国科学技术大学研究生院信息安全国家重点实验室,北京100039

出　　处：《软件学报》2000年第12期1660-1665,共6页Journal of Software

摘　　要：类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类BAN family of logic is used to analyze the security of cryptographic protocols. Five logics in the BAN family of logic are analyzed, including GNY, AT91, MB, SVO and BAN logic itself. Many defects of BAN family of logic are presented, including some defects found in research. A model is presented to describe the BAN family of logic first. And then the defects of BAN family of logic are classified according to this model. Some problems concerning BAN family of logic are presented in order to stimulate further research.

关 键 词：密码协议 BAN逻辑 缺陷 

分 类 号：TN915.04[电子电信—通信与信息系统]