一个面向安全协议分析的非单调逻辑  

A Non-Monotonic Logic for the Analysis of Security Protocols

作　　者：刘海燕[1] 杨朝红[1] 蔡红柳[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机工程与科学》2007年第10期1-3,46,共4页Computer Engineering & Science

基　　金：国家863计划资助项目(2006AA01Z184)

摘　　要：本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols. This logic uses knowledge set to contain assertions which are known,uses belief set to contain assertions which are inferred by default rules. It verifies the properties of security protocols by knowledge inference and belief maintenance.

关 键 词：安全协议 协议验证 信念 非单调逻辑 

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