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

第卷第期 计 算 机 学 报 ３４ ７ 　 　　　　　　　　 Ｖｏｌ．３４Ｎｏ．７ 年月 ２０１１７ Ｊｕｌ２０１１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 基于可信概率的电子数据取证有效性模型 ），），） ） ），），） ） １２３ １ １２３ ４ 孙国梓 耿伟明 陈丹伟 申涛 　 　 　　 ） １（ ） 南京邮电大学计算机学院南京２１０００３ 　 　 ） ２（江苏省无线传感网高技术研究重点实验室南京 ） ２１０００３ 　 　 ） ３（宽带无线通信与传感网技术教育部重点实验室南京 ） ２１０００３ 　 　 ） ４（中国移动通信集团河北有限公司石家庄分公司石家庄 ） ０５００２１ 　 　 摘要针对当前证据有效性不足的缺点，结合概率论，提出了基于可信概率的电子数据取证有效性模型以 ．Ｐｅｔｒｉ 　　 网为基础，将取证后经形式化处理的数据抽象为 网中的库所，操作行为和取证方法抽象为变迁，后一节点为 Ｐｅｔｒｉ 运用该操作方法对前一节点进行某种变换所形成给出了取证过程中的基本定义和形式化处理方法，研究了概率 ． ， “ ” ， 计算的相关算法描述了详细的推理过程利用可信度数据源取证规则作为对所得证据的有效性说明为可 ． ＋ ＋ 信取证的动态取证行为可信提供理论基础通过概率计算的方法最终得到具体的概率数据在保证数据源信息可 ． ， ， （ ）， （ ）