给出“人+工具+证明”的取证模式，提出可信取证理念。从电子数据的静态属性可信性和取证方法动态行为的可信性两个方面对可信取证体系进行研究，以便最终形成可信的电子证据结果。建立基于瀑布模型的电子取证模型，从可信表达、可信分析、可信提取、可信固定以及可信发现等方面加以分析。

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