仿真分析取证模型的形式化研究

• 作者: 吴瑞 张羽
• 来源期刊: 福建警察学院学报
• 学科: 工学
• 关键词: 计算机取证 虚拟机 仿真分析取证 形式化规约
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 警学研究
• 页码范围: 43-49
• 页数: 7页
• 分类号: DF713|TP391.9
• 字数: 7327字
• 语种: 中文

摘要

计算机犯罪的多样性使得现有的静态取证和动态取证模型均已不能很好的满足计算机取证的要求,亟需建立一种新型态的取证模型.仿真分析取证模型运用"自顶向下"的形式化建模方法,结合虚拟机技术的最新发展成果,通过虚拟犯罪现场重建构建了一种并行的取证平台,为侦查实践和司法实务提供了有力的技术支撑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴瑞		44	111	5.0	8.0
2	张羽		28	250	8.0	15.0