期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
电子数据取证的可信固定方法
被引量：
11
1
作者
孙国梓
耿伟明
+1 位作者
陈丹伟
林清秀
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期621-626,共6页
在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定...
在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.
展开更多
关键词
电子数据取证
可信取证
可信固定
形式化分析
在线阅读
下载PDF
职称材料
基于可信概率的电子数据取证有效性模型
被引量：
15
2
作者
孙国梓
耿伟明
+1 位作者
陈丹伟
申涛
《计算机学报》
EI
CSCD
北大核心
2011年第7期1262-1274,共13页
针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某...
针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.
展开更多
关键词
可信取证
有效性
电子数据取证
PETRI网
概率
在线阅读
下载PDF
职称材料
题名
电子数据取证的可信固定方法
被引量：
11
1
作者
孙国梓
耿伟明
陈丹伟
林清秀
机构
南京邮电大学计算机技术研究所
南京邮电大学计算机学院
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期621-626,共6页
基金
国家'十一五'计划资助项目(2007BAK34B06)
国家自然科学基金资助项目(60703086)
南京邮电大学樊登计划资助项目(NY208009)
文摘
在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.
关键词
电子数据取证
可信取证
可信固定
形式化分析
Keywords
digital data forensics
trusted forensics
trusted fix
formalized analyzing
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于可信概率的电子数据取证有效性模型
被引量：
15
2
作者
孙国梓
耿伟明
陈丹伟
申涛
机构
南京邮电大学计算机学院
江苏省无线传感网高技术研究重点实验室
宽带无线通信与传感网技术教育部重点实验室
中国移动通信集团河北有限公司石家庄分公司
出处
《计算机学报》
EI
CSCD
北大核心
2011年第7期1262-1274,共13页
基金
国家科技部"十一五"科技支撑计划项目(2007BAK34B06)
国家自然科学基金(61073114)
+2 种基金
江苏省高校自然科学基金(09KJD520007)
南京邮电大学攀登计划项目(NY208009)
江苏高校优势学科建设工程项目资助~~
文摘
针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.
关键词
可信取证
有效性
电子数据取证
PETRI网
概率
Keywords
trusted forensics
validity
digital data forensics
Petri nets
probability
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
电子数据取证的可信固定方法
孙国梓
耿伟明
陈丹伟
林清秀
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010
11
在线阅读
下载PDF
职称材料
2
基于可信概率的电子数据取证有效性模型
孙国梓
耿伟明
陈丹伟
申涛
《计算机学报》
EI
CSCD
北大核心
2011
15
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
