10.3969/j.issn.1007-130X.2007.10.001
一个面向安全协议分析的非单调逻辑
本文提出一种对安全协议进行分析的非单调逻辑.使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性.
安全协议、协议验证、信念、非单调逻辑
29
TP393.08(计算技术、计算机技术)
国家高技术研究发展计划863计划2006AA01Z184
2007-12-03(万方平台首次上网日期,不代表论文的发表时间)
共4页
1-3,46