基于行为时序逻辑的入侵取证研究

• 作者: 唐郑熠 李均涛 李祥
• 来源期刊: 计算机应用研究
• 关键词: 入侵取证 行为时序逻辑 逻辑描述语言 系统验证
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2742-2745
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.07.097

摘要

提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符.实例研究表明,这种方法不依赖于具体的攻击技术和操作系统,不惧证据的缺失,能够有效搜寻更多的证据并重建可能的攻击场景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机科学与信息学院	91	551	13.0	19.0
2	唐郑熠	贵州大学计算机科学与信息学院	12	63	4.0	7.0
3	李均涛	贵州大学计算机科学与信息学院	3	11	3.0	3.0