重庆邮电大学计算机科学与技术学院计算机取证与调查研究所
- 作品数：4 被引量：3H指数：1
- 相关作者：陈武何方更多>>
- 相关机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：重庆市自然科学基金国家社会科学基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术政治法律更多>>
- 基于时间有限状态自动机的事件重建推理算法被引量：2
- 2009年
- 应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化。针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率。在8个时间Mealy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高。
- 陈龙陈武
- 关键词：计算机取证有限状态自动机
- 细粒度数据完整性检验方法比较研究
- 2010年
- 现实应用可根据需要采用不同粒度完整性检验方案,在较细的粒度上检验海量数据的完整性将生成大量Hash数据。比较了完整性指示码与纠错码的不同,简要分析了数据对象出错数概率分布的可压缩性,提出了完整性指示码的编码收益度量方法,便于对完整性检验方案进行统一度量,使不同的完整性检验方案可在某一出错数概率分布下进行综合比较。实例分析表明了细粒度完整性检验新方法的特定优势,编码收益度量方法对应用方案的选择有指导作用。
- 陈龙娄晓会
- 关键词：计算机取证HASH数据完整性纠错编码
- 基于纠错码的电子证据网络化保全方法被引量：1
- 2008年
- 细粒度数据完整性检验可以减小因偶然的错误或个别的篡改而造成的数据失效的灾难性影响,成为支持电子证据保全的重要手段。但为每份小粒度数据生成一个独立的完整性检验Hash数据会产生大量的Hash检验数据,且Hash数据属于随机性数据无法压缩,给Hash数据存储及网络传输带来较大影响。介绍了实现Hash数据压缩的基本思想,提出了基于纠错码——Horiguchi-Morita编码的数据完整性检验方法,分析了该方法的基本性能,基于该方法设计了电子证据的网络化存储模式,可防止合谋篡改。
- 陈龙何方
- 关键词：纠错编码计算机取证数据完整性证据保全
- 用户本地行为司法鉴定
- 2010年
- 计算机犯罪是目前较为普遍的一类犯罪,其技术性强、破坏性大,要打击和遏制这类犯罪,计算机司法鉴定有着不可取代的作用。本文针对用户本地计算机的相关操作行为进行分析,提出用户行为相应的鉴定方法,为计算机司法鉴定规范制定提供参考。
- 赵亚杰陈龙
- 关键词：计算机取证计算机犯罪司法鉴定用户行为
