基于可信概率的电子数据取证有效性模型

作     者：孙国梓 耿伟明 陈丹伟 申涛 SUN Guo-Zi;GENG Wei-Ming;CHEN Dan-Wei;SHEN Tao

作者机构：南京邮电大学计算机学院南京210003 江苏省无线传感网高技术研究重点实验室南京210003 宽带无线通信与传感网技术教育部重点实验室南京210003 中国移动通信集团河北有限公司石家庄分公司石家庄050021 

基　　金：国家科技部"十一五"科技支撑计划项目(2007BAK34B06) 国家自然科学基金(61073114) 江苏省高校自然科学基金(09KJD520007) 南京邮电大学攀登计划项目(NY208009) 江苏高校优势学科建设工程项目资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2011年第34卷第7期

页      码：1262-1274页

摘      要：针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.

主 题 词：可信取证 有效性 电子数据取证 Petri网 概率 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/sp.j.1016.2011.01262

馆 藏 号：203688016...