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

• 作者: 刘海燕 杨朝红 蔡红柳
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全协议 协议验证 信念 非单调逻辑
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 1-3,46
• 页数: 4页
• 分类号: TP393.08
• 字数: 4248字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.10.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘海燕	装甲兵工程学院信息工程系	55	359	11.0	16.0
2	蔡红柳	装甲兵工程学院信息工程系	35	110	6.0	8.0
3	杨朝红	装甲兵工程学院信息工程系	30	449	11.0	20.0