论文部分内容阅读
计算机犯罪的多样性使得现有的静态取证和动态取证模型均已不能很好的满足计算机取证的要求，亟需建立一种新型态的取证模型。仿真分析取证模型运用“自顶向下”的形式化建模方法，结合虚拟机技术的最新发展成果，通过虚拟犯罪现场重建构建了一种并行的取证平台，为侦查实践和司法实务提供了有力的技术支撑。
仿真分析取证模型的形式化研究
【摘 要】
：
计算机犯罪的多样性使得现有的静态取证和动态取证模型均已不能很好的满足计算机取证的要求，亟需建立一种新型态的取证模型。仿真分析取证模型运用“自顶向下”的形式化建模方
【机 构】
：
中国人民公安大学
【出 处】
：
福建警察学院学报
【发表日期】
：
2010年1期
其他文献
反导过程中,为解决用于TBM拦截效果评估的信息存在不完整、不准确的问题,提高评估的准确性、时效性,首先分析了影响TBM拦截效果评估的因素,提出了基于贝叶斯网络的TBM拦截效
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
从有效沟通、检索技巧、资源配备和人员素质四个方面分析了影响相关文献查准率和查全率的因素，并且对零相关文献出现的原因和灰色信息的利用进行了探讨。
针对无损检测方法中全国统一回弹测强曲线与超声声速和抗压强度关系曲线应用到地方工程检测中的差异性,以兰州地区原材料制作而成的C30～C60四个强度等级的泵送混凝土为研究对
根据浙江省质量技术监督局的安排,指定台州市计量技术研究院作为本次比对主导实验室,负责实施省内法定计量检定机构和社会第三方计量校准机构的计量比对工作。文章介绍了比对
<正>[选材目的]在跟学生的沟通过程中,我发现班级学生中外来务工人员子女占到一半以上,家长的文化层次不高。原以为穷人的孩子早当家,可是很多孩子并不懂得珍惜,不知道理解、
期刊
一、中国PSC检查情况2015年,中国各PSC检查单位共进行PSC检查8 126艘次,发现缺陷32 482项,单船缺陷数量为4.00项,滞留船舶443艘次,滞留率为5.45%。（一）各直属海事局检查数量其
国家计量技术规范JJF1117-2010中的名词术语传递标准的稳定性和传递标准引入的不确定度是两个不同的概念,要区分清楚;完善附录E比对结果的评价与分析的方法;国家技术规范之间