摘要：本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。

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

单位：装甲兵工程学院信息工程系; 北京100072; 北京邮电大学网络与交换技术国家重点实验室; 北京100876