-
题名基于时间有限状态自动机的事件重建推理算法
被引量：1
- 1
-
-
作者
陈龙
陈武
-
机构
重庆邮电大学计算机取证与调查研究所
-
出处
《重庆邮电大学学报（自然科学版）》
北大核心
2009年第3期393-397,共5页
-
基金
重庆市自然科学基金项目(CSTC
2007BB2454)
-
文摘
应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化。针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率。在8个时间Mealy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高。
-
关键词
计算机取证
事件重建
有限状态自动机
-
Keywords
computer forensics
event reconstruction
finite state machine
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于纠错码的电子证据网络化保全方法
- 2
-
-
作者
陈龙
何方
-
机构
重庆邮电大学计算机取证与调查研究所
西南交通大学信息科学与技术学院
-
出处
《通信技术》
2008年第11期156-157,159,共3页
-
基金
国家社会科学基金资助项目(No.08BFX064)
重庆市自然科学基金资助项目(No.2007BB2454)。
-
文摘
细粒度数据完整性检验可以减小因偶然的错误或个别的篡改而造成的数据失效的灾难性影响,成为支持电子证据保全的重要手段。但为每份小粒度数据生成一个独立的完整性检验Hash数据会产生大量的Hash检验数据,且Hash数据属于随机性数据无法压缩,给Hash数据存储及网络传输带来较大影响。介绍了实现Hash数据压缩的基本思想,提出了基于纠错码——Horiguchi-Morita编码的数据完整性检验方法,分析了该方法的基本性能,基于该方法设计了电子证据的网络化存储模式,可防止合谋篡改。
-
关键词
纠错编码
计算机取证
数据完整性
证据保全
-
Keywords
error correcting code
computer forensics
data integrity
evidence preservation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名细粒度数据完整性检验方法比较研究
- 3
-
-
作者
陈龙
娄晓会
-
机构
重庆邮电大学计算机取证与调查研究所
-
出处
《电信科学》
北大核心
2010年第S2期1-4,共4页
-
基金
国家自然科学基金资助项目(No.60573068)
重庆市自然科学基金资助项目(No.CSTC2008BA2017
No.2007BB2454)
-
文摘
现实应用可根据需要采用不同粒度完整性检验方案,在较细的粒度上检验海量数据的完整性将生成大量Hash数据。比较了完整性指示码与纠错码的不同,简要分析了数据对象出错数概率分布的可压缩性,提出了完整性指示码的编码收益度量方法,便于对完整性检验方案进行统一度量,使不同的完整性检验方案可在某一出错数概率分布下进行综合比较。实例分析表明了细粒度完整性检验新方法的特定优势,编码收益度量方法对应用方案的选择有指导作用。
-
关键词
计算机取证
HASH
数据完整性
纠错编码
-
Keywords
computer forensics
Hash
data integrity
error-correcting code
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名用户本地行为司法鉴定
- 4
-
-
作者
赵亚杰
陈龙
-
机构
重庆邮电大学计算机取证与调查研究所
-
出处
《电信科学》
北大核心
2010年第S2期102-104,共3页
-
基金
重庆市自然科学基金重点项目资助课题(No.CSTC2008BA2017/2008BA2041/2007BB2454)
重庆邮电大学博士启动基金资助课题(No.A2009-25)
-
文摘
计算机犯罪是目前较为普遍的一类犯罪,其技术性强、破坏性大,要打击和遏制这类犯罪,计算机司法鉴定有着不可取代的作用。本文针对用户本地计算机的相关操作行为进行分析,提出用户行为相应的鉴定方法,为计算机司法鉴定规范制定提供参考。
-
关键词
计算机取证
计算机犯罪
司法鉴定
用户行为
-
Keywords
computer forensic,computer crime,forensic,user behavior
-
分类号
D918.9
[政治法律—法学]
-
