仿真分析取证模型的形式化研究 |
| |
引用本文: | 张羽,吴瑞.仿真分析取证模型的形式化研究[J].福建警察学院学报,2010,24(1):43-49. |
| |
作者姓名: | 张羽 吴瑞 |
| |
作者单位: | 中国人民公安大学,北京100038 |
| |
摘 要: | 计算机犯罪的多样性使得现有的静态取证和动态取证模型均已不能很好的满足计算机取证的要求,亟需建立一种新型态的取证模型。仿真分析取证模型运用"自顶向下"的形式化建模方法,结合虚拟机技术的最新发展成果,通过虚拟犯罪现场重建构建了一种并行的取证平台,为侦查实践和司法实务提供了有力的技术支撑。
|
关 键 词: | 计算机取证 虚拟机 仿真分析取证 形式化规约 |
本文献已被 CNKI 维普 等数据库收录! |
|