电子数据取证的可信固定方法

One Trusted Fix Method of Digital Data Forensics

在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.

After an introduction of the traditional fix method of digital data, in view of trusted forensics, a framework and its corresponding trusted fix method which supports the digital data＇ s static properties is provided. Using DSA digital signature, timestamp, and the third confirmer signature scheme, the specific trusted fix algorithm of digital data is studied. Via formalized analyzing, the constraint rules for the digital data＇ s static properties have been defined to be trusted, which also supports to the trusted fix. At last, with introduced axioms, theorems and rules, the formalized analyzing of trusted forensics is validated by certain examples.