BAN类逻辑的进一步研究  

A Further Study on BAN-like Logics

作　　者：陈更力[1] 张青[2] 

机构地区：[1]武汉大学计算机学院,湖北武汉430079 [2]北京邮电大学理学院,北京100876

出　　处：《微计算机信息》2006年第06X期84-86,共3页Control & Automation

基　　金：国家自然科学基金项目编号:No.60373059

摘　　要：BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。BAN-like logics is one of the main tools for analysis cryptographic protocols in recent years, the limitations of BAN logic are analyzed and illustrated with examples, and then the features of the extended BAN-like logics and their common defects are studied. Finally, the improvement of BAN-like logics and further research problems are proposed.

关 键 词：密码协议 形式化分析 BAN类逻辑 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]