一种新的安全协议形式化分析方法--证据逻辑  

New Formal Analysis Method for Security Protocols——Proof Logic

作　　者：陆阳[1] 肖军模[1] 刘晶[1] 

机构地区：[1]中国人民解放军理工大学通信工程学院电子信息工程系

出　　处：《计算机工程》2008年第2期92-94,共3页Computer Engineering

基　　金：国家自然科学基金资助重点项目“信息防护关键技术研究”(69931040)

摘　　要：形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力。The formal analysis methods are very important to the accurate design of the security protocols, This paper introduces a new logic-based formal method called proof logic which analyzes the security protocols by reasoning about the proofs of the principles. Compared with the existing work, proof logic, which can be used to analyze the authentication protocols, the key exchange protocols and the non-repudiation protocols have more analysis power for the security protocol.

关 键 词：安全协议 形式化分析 证据逻辑 

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