类BAN逻辑的缺陷分析  

作　　者：刘庆华[1] 刘云朋[1] 

机构地区：[1]焦作大学信息工程学院,河南焦作454003

出　　处：《焦作大学学报》2009年第3期68-69,78,共3页Journal of Jiaozuo University

摘　　要：类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。

关 键 词：密码协议 协议分析BAN(Burrows Abadi and Needham)类逻辑 缺陷 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]