摘要
本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。
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.
出处
《计算机工程与科学》
CSCD
2007年第10期1-3,46,共4页
Computer Engineering & Science
基金
国家863计划资助项目(2006AA01Z184)
关键词
安全协议
协议验证
信念
非单调逻辑
security protocol
protocol verification
belief
non-monotonic logic
