面向领域特征的云取证模型

发布时间：2018-02-25 22:36

  本文关键词： 云取证 对象约束语言 数字证据 过程建模 领域特征　出处：《南京理工大学学报》2016年04期 　论文类型：期刊论文

【摘要】：云计算的引入使得取证技术变得更加复杂。为保证提供的云取证的证据能够呈堂并作为庭审的依据,提出一种基于面向特征的领域分析方法和对象约束语言的可扩展的云取证静态属性语义特征形式化模型,分别给出特征、特征空间和电子数据特征空间表示模型的定义,将静态属性特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束四类,并采用对象约束语言对这些关系进行形式化描述,为模型提供了精确的语义支持。该模型既能解决电子数据的静态属性特征的表示问题,又能完成静态属性的冲突检测,从而达到电子数据静态属性的取证目的。
[Abstract]:The introduction of cloud computing complicates forensics technology. To ensure that the evidence provided in the cloud evidence can be presented to court and serve as the basis for the trial, In this paper, a domain analysis method based on feature oriented and an extensible formal model of semantic feature of cloud forensics based on object constraint language are proposed. The definitions of feature, feature space and electronic data feature space representation model are given respectively. The relationships between static attribute features are divided into four categories: self-constraint, parent-child constraint, explicit constraint and implicit constraint, and these relationships are formally described by object constraint language. This model can not only solve the problem of representation of static attribute characteristics of electronic data, but also complete the conflict detection of static attributes, thus achieving the purpose of collecting evidence of static attributes of electronic data.
【作者单位】： 南京理工大学计算机科学与工程学院;
【分类号】：D918.2
，

本文编号：1535462