耿伟明
- 作品数：3 被引量：27H指数：2
- 供职机构：南京邮电大学计算机学院更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目江苏高校优势学科建设工程项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 电子数据取证的可信固定方法
- 在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于让实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分...
- 孙国梓耿伟明陈丹伟林清秀
- 关键词：电子数据取证形式化分析
- 文献传递
- 基于可信概率的电子数据取证有效性模型被引量：16
- 2011年
- 针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.
- 孙国梓耿伟明陈丹伟申涛
- 关键词：有效性电子数据取证PETRI网
- 电子数据取证的可信固定方法被引量：11
- 2010年
- 在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.
- 孙国梓耿伟明陈丹伟林清秀
- 关键词：电子数据取证形式化分析
