|
|||||
|
|
| 基于行为时序逻辑的磁盘入侵取证研究 | |
| 引用本文： | 李均涛.基于行为时序逻辑的磁盘入侵取证研究[J].数字社区&智能家居,2013(26):5820-5821,5832. |
| 作者姓名： | 李均涛 |
| 作者单位： | 贵州财经大学信息学院 |
| 基金项目： | 贵州省自然科学技术基金(黔科合J字[2012]2096号);贵州财经大学人才引进科研基金 |
| 摘 要： | 运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。 |
| 关 键 词： | 入侵取证 行为时序逻辑 模型检测 磁盘技术 |
| 本文献已被 CNKI 等数据库收录！ | |