电子数据取证的可信固定方法
在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于让实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.
电子数据取证、可信取证、可信固定、形式化分析
36
TP309(计算技术、计算机技术)
国家"十一五"计划资助项目2007BAK34B06;国家自然科学基金60703086;南京邮电大学樊登计划资助项目NY208009
2011-05-23（万方平台首次上网日期，不代表论文的发表时间）
621-626
