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

扫码查看

原文链接

NETL

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

作者：

孙国梓、耿伟明、陈丹伟、林清秀

展开 >

作者单位：

南京邮电大学,计算机技术研究所,南京,210003

南京邮电大学,计算机学院,南京,210003

关键词：

电子数据取证可信固定方法形式化分析

主办单位：

中国计算机学会

会议名称：

2010年第四届中国可信计算与信息安全学术会议

会议时间：

2010-05-21

会议地点：

北京

会议母体文献：

2010年第四届中国可信计算与信息安全学术会议论文集

页码：

621-626

出版时间：

2010