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

摘要：

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

关键词：可信取证、有效性、电子数据取证、Petri网、概率

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2011-12-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：1262-1274