基于Horn子句逻辑的通用追踪者推理泄漏检测

摘要：

在信息安全风险评估中,由推理泄漏而导致的系统脆弱性因其具有一定的隐蔽性而难以被检测。针对一种典型的通用追踪者推理泄漏,采用Horn子句逻辑的方法,提出针对利用通用追踪者进行攻击的检测机制,并以具体的数据为例,进行了检测。结果表明此方法对于通用追踪者推理泄漏的检测是有效的。

关键词： 风险评估 通用追踪者 Horn子句 推理泄漏检测 信息安全

作者: 雷新锋 刘军 莫毅 肖军模

作者单位: 解放军理工大学通信工程学院,南京 210007 成都市国家保密局,成都 610000

会议类型: 国内会议

会议名称: 第十七届全国信息保密学术会议

会议地点: 湖北襄樊

会议语种:中文

页码: 272-277

在线出版日期: 2007-09-01（万方平台首次上网日期，不代表论文的发表时间）