摘要
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.
出处
《科技信息》
2010年第09X期10-11,7,共3页
Science & Technology Information
基金
河南省科技攻关(No.0524220044
0624260017
072102210029)
