基于BAN类逻辑的协议自动化分析工具设计  

The Design of an Automatic Protocol Analysis Tool Based on BAN—like Logics

作　　者：邓媛劼[1] 王倩[1] 

机构地区：[1]黄河科技学院,河南郑州450052

出　　处：《科技信息》2010年第09X期10-11,7,共3页Science & Technology Information

基　　金：河南省科技攻关(No.0524220044;0624260017;072102210029)

摘　　要：BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性。BAN-like logics are widely applied to analyze security protocols since they are simple and convenient. An automatic analysis tool is developed using programming language prolog based on BAN-like logics. The results of experiments show that the tool can be applied for analyzing the correctness and authentication of secure protocols precisely and effectively.

关 键 词：BAN类逻辑 自动化分析工具 PROLOG语言 

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