《计算机学报》文章摘要   全文下载
文章题目	基于可信概率的电子数据取证有效性模型
作者	孙国梓1),2),3) 耿伟明1) 陈丹伟1),2),3) 申涛4)
作者单位	1)(南京邮电大学计算机学院 南京 210003) 2)(江苏省无线传感网高技术研究重点实验室 南京 210003) 3)(宽带无线通信与传感网技术教育部重点实验室 南京 210003) 4)(中国移动通信集团河北有限公司石家庄分公司 石家庄 050021)
发表年份	2011
发表月份	7期(1262—1274)
文章摘要	摘要 针对当前证据有效性不足的缺点，结合概率论，提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础，将取证后经形式化处理的数据抽象为Petri网中的库所，操作行为和取证方法抽象为变迁，后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法，研究了概率计算的相关算法，描述了详细的推理过程.利用“可信度+数据源+取证规则”作为对所得证据的有效性说明，为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法，最终得到具体的概率数据，在保证数据源信息可信的基础上(即静态属性可信的假设前提)，通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为)，最终实现电子数据作为证据的高的可信度.最后，设计了有效性证明系统，利用实际案例，分析并验证了可信概率在电子数据取证有效性模型中的具体应用. 关键词 可信取证；有效性；电子数据取证；Petri网；概率 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2011.01262