首页> 中文期刊> 《电脑知识与技术》 >基于行为时序逻辑的磁盘入侵取证研究

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。

著录项

来源
《电脑知识与技术》 |2013年第26期|5820-5821+5832|共2页
作者
李均涛;
展开▼
作者单位

贵州财经大学信息学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
入侵取证; 行为时序逻辑; 模型检测; 磁盘技术;

相似文献

中文文献
外文文献
专利

1. 基于行为时序逻辑的磁盘入侵取证研究 [J] . 李均涛 . 电脑知识与技术 . 2013,第9x期
2. 基于行为时序逻辑的入侵取证研究 [J] . 李均涛 ,唐郑熠 ,李祥 . 计算机应用研究 . 2011,第7期
3. 基于行为时序逻辑的多方协作取证研究 [J] . 李均涛 ,唐郑熠 ,张金磊 . 信息安全与技术 . 2016,第11期
4. 基于行为时序逻辑的多方协作取证研究 [J] . 李均涛1 ,唐郑熠2 ,张金磊1 . 网络空间安全 . 2016,第11期
5. 基于改进K-means算法的网络入侵行为取证研究 [J] . 许彩滇 ,刘晓丽 . 中国人民公安大学学报：自然科学版 . 2020,第2期
6. 基于行为分析的代码注入攻击侦搜与取证研究 [C] . ZHANG Zhi-pai ,张志汖 . 第七届全国计算机取证技术研讨会 . -1
7. 基于时序逻辑模型验证的入侵检测方法研究 [A] . 赵延珂 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号