电子证据自动化推理方法的设计与实现.pdfVIP

中国人 民公安大学学报 (自然科学版) 2016年第2期No．22016 JournalofPeo旦 !!!!!!! !!!! !! l!!!!! !!! g2 望笙 塑 电子证据 自动化推理方法的设计与实现 赵 志岩 (中国人 民公安大学网络安全保卫学院，北京 100038) 摘 要 电子证据的分析技术是打击网络犯罪的有效途径 ，然而取证软件对 电子证据 的推理分析 自动化和智能化 水平较低，导致网络犯罪侦查过程的效率很难提高。目前 ，存储设备的容量越来越大，案件中涉及的电子证据常为 海量数据 ，靠人工推理和分析耗时、耗力。通过构建知识库 ，输入分析规则 ，可 以形式化专家经验和系统规律等 ，进 而应用规则对 电子证据进行 自动化推理分析 ，能有效地完成犯罪类型的推理或犯罪案件 的重构 。 关键词 电子证据 ；自动化 ；推理 中图分类 号 D915．13 件的推理和重构 ，即基于可获得的证据和事实 ，通过 0 引言 一 定 的方法和手段 ，推导出可能发生的事件。 电子证据分析技术早已应用到对 网络犯罪 的打 依据推理的方向，我们可以把电子证据推理分 击 防控上 ，并且取得了较好的成效。 目前 ，取证软件 析的思路分为两种 ，一种是从前往后推导 ，也就是从 和硬件能够很好地实现对 电子证据的分析 ，这些工 证据到结论的推理方式 ，即根据发现的证据状态直 具 的功能主要集中在 电子证据的浏览和过滤上 ，如 接推断可能发生的多个事件 ，再根据不同事件产生 使用关键词、文件类型、哈希值的匹配条件 ，找出可 的痕迹继续推理 ，排除不可能的事件 ，经过多次推理 能与案情相关的电子证据 ¨。 之后最终得到最初 的可能事件 ，这种思路主要根据 但是 ，与案件相关的过滤条件的设置仍然需要 机器运行 的客观规律，得到事件与证据 的关联关 人工输入 ，而且这些 电子证据究竟反映了什 么样 的 系 。第二种是从后往前推导 ，即假设测试 ，先提 犯罪类型和犯罪事件 ，如何利用电子证据进行案件 出案件假设并对假设形式化 ，然后利用发现 的证据 推理和重构等分析工作还是 由人工完成 ，无法实现 推理和评估假设事件的接受度和拒绝度 ，这种思路 自动化与智能化分析 。 主要根据案件实施 的客观规律，得到事件与证据 的 因此 ，案件 的侦破很大程度上依赖于侦查人员 关联关系 。 的分析水平 ，另外 ，靠人工完成后期分析导致侦查工 这两种方法在理论上并不是完全独立 的，经常 作的时效性很差 ，给后续 的侦查工作带来 了很大 的 困难 。 被结合在一起使用，以提高推理分析的效率和准确 率 。根据这两种思路 ，国内外提出了一些典型的电 电子证据 自动化推理分析就是指根据案件中机 器设备上 的电子证据，通过软件工具等手段 自动分 子证据推理分析模型。 析推理案情 ，得 出案件类型，以及可能发生过 的事 1．1 有限 自动机推理模型 件