%0 Journal Article %T 电子数据取证的可信固定方法 %J 北京工业大学学报 %D 2010 %X 在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定. %K 电子数据取证 %K 可信取证 %K 可信固定 %K 形式化分析 %U http://www.bjgd.cbpt.cnki.net/WKA/WebPublication/paperDigest.aspx?paperID=452070A4-F11F-4935-A468-AE8BDF4362FF