| 基于行为时序逻辑的入侵取证研究 |
| |
| 引用本文： | 李均涛,唐郑熠,李祥.基于行为时序逻辑的入侵取证研究[J].计算机应用研究,2011,28(7):2742-2745. |
| |
| 作者姓名： | 李均涛 唐郑熠 李祥 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵阳,550025 |
| |
| 摘 要： | 提出一种基于行为时序逻辑的入侵取证的形式化方法，其描述语言能够准确描述入侵证据、系统知识以及攻击行为，并具有在部分数据缺失的情况下进行非确定性推理的能力；其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符。实例研究表明，这种方法不依赖于具体的攻击技术和操作系统，不惧证据的缺失，能够有效搜寻更多的证据并重建可能的攻击场景。
|
| 关 键 词： | 入侵取证 行为时序逻辑 逻辑描述语言 系统验证 |
Computer intrusion forensic based on temporal logic of actions |
| |
| LI Jun-tao,TANG Zheng-yi,LI Xiang.Computer intrusion forensic based on temporal logic of actions[J].Application Research of Computers,2011,28(7):2742-2745. |
| |
| Authors: | LI Jun-tao TANG Zheng-yi LI Xiang |
| |
| Affiliation: | LI Jun-tao,TANG Zheng-yi,LI Xiang(College of Computer Science & Information,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | |
| |
| Keywords: | computer intrusion forensic temporal logic of actions TLA system verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
