随着计算机技术的发展和网络的普及，利用计算机或以计算机为目标的犯罪事件频繁发生。计算机犯罪引起了人们极大的关注。如何最大限度地获取计算机犯罪相关的电子证据并确保电子证据的可信性，将犯罪分子绳之以法，政法机关在利用高技术手段对付这种高技术犯罪方面缺乏必要的技术保障和支持。当前计算机犯罪调查研究主要有两大方向--法律和技术。就技术层面研究而言，发展了多年的计算机犯罪研究，主要将重点放在计算机数据的获取上。而随着犯罪技术的多样化、技术化和复杂化，对计算机犯罪调查的要求越来越专业化、正规化。　　 在计算机取证领域，许多取证技术在实际的取证过程中已经得到了成功有效的应用。但对所得到的电子证据的有效性或可信性方面还存在明显的问题，本文在此背景下提出了电子证据的可信取证理念，并对相关问题进行了研究。　　 在研读了大量文献的基础上，本文主要做了如下工作:　　 1.对计算机取证技术的发展及国内外研究现状进行了深入的研究和探讨，对现有的几种典型的计算机取证模式进行了分析。　　 2.在对计算机取证领域涉及的基本概念、相关理论、基本原则和采信标准等进行了综述性介绍的基础上，提出了电子数据可信取证的研究思想，并给出了可信取证体系结构的描述。　　 3.基于电子数据的静态属性及可信思想，借助集合论与谓词逻辑，建立了电子数据的静态属性特征模型，通过形式化的描述语言给出电子数据可信的约束条件和规则描述，构建了基于约束的电子数据特征描述模型。　　 4.结合工作流技术及时序逻辑知识构建基于时序逻辑的可信取证工作流模型。研究了构建该取证工作流体系所需用到的关键技术、取证工作流模型的构建过程和原理。抽象了电子数据动态取证方法的可信性描述，并把这些规则融合进取证的流程监控中，研究了如何构建时序逻辑的可信取证规则库，为电子证据可信与否提供了验证依据。　　 5.给出可信取证应该遵循的部分定义、定理和公理，采用取证公理库系统和电子证据可信性验证公理系统加以形式化分析，并使用取证实例进行了验证。