论文部分内容阅读
运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。
基于行为时序逻辑的磁盘入侵取证研究
【摘 要】
：
运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地
【机 构】
：
贵州财经大学信息学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2013年9X期
【基金项目】
：
贵州省自然科学技术基金(黔科合J字[2012]2096号),贵州财经大学人才引进科研基金
其他文献
大于500L以上的封闭式陈列柜,按照GB/T 21001.2冷藏陈列柜标准规定,在做能耗实验时要进行12h开门实验。通过对SC/SD-618陈列柜开门实验,模拟用户使用状态,分析开门对能耗的影
本科于2004年购进美国雅培公司C18200牛化免疫联体机，经过3年的使用取得了一定的经验，为了以后更好地丁作，对该机常见问题和解决办法进行了总结，与使用该仪器的同行共同探讨。
在一组非造船厂电工的横向调查中,发现石棉肺普遍存在,明确的不规则阴影密集度至少为1/0,工作20年以上的占总数15～25％。吸烟人更易发生。 电工可接触到大量的石棉尘,特别在修理
目的动态观察特发性肺纤维化患者服用激素前后外周血Th22细胞及其相关因子IL-22的表达,探讨其与疾病的关系。方法抽取实验组患者激素治疗前、治疗1个月后、治疗2个月后、治疗
纤维蛋白与消耗性凝血病，心血管疾病，糖尿及恶性肿瘤等密切相关；Ｆｉｂ的遗传变异所致的出血或血栓性疾病及反复自发流产也屡见报道，Ｆｉｂ测定在临床上越来越受到重视。本文就纤维蛋白原的生
AutoCAD是一种在国际非常流行的绘图工具。AutoCAD是由美国Autodesk欧特克公司于20世纪80年代初为微机上应用CAD技术(Computer Aided Design,计算机辅助设计)而开发的计算机绘图软件包,经过不断的完善,现已经成为国际上广为流行的绘图工具。AutoCAD作为一种绘图软件,在学习过程中需要有自己独特的方式,如果只是通过教材教学的话,效果不会很明显,因此最好的方法是
以6月份成都某高校教室为研究对象,在开窗通风和可自由开启吊扇的条件下,现场测试了教室内的温度、相对湿度和风速等参数,通过问卷调查了学生对室内外热环境的主观热感觉,并
《黑桃皇后》是俄国著名诗人普希金的代表作之一。全书通过对彼得堡上流社会赌徒生活的描写,刻画了主人公赫尔曼的坚强性格和贪婪野心,预示了俄国资本主义的临近。
提出几种典型飞行器轨迹的仿真方法，在分析各种坐标系及相互关系的基础上，给出了船姿、船位、变形模拟数据的计算方法以及船载测控雷达空间目标轨迹的动态仿真生成方法，为船载测