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

云计算的引入使得取证技术变得更加复杂。为保证提供的云取证的证据能够呈堂并作为庭审的依据,提出一种基于面向特征的领域分析方法和对象约束语言的可扩展的云取证静态属性语义特征形式化模型,分别给出特征、特征空间和电子数据特征空间表示模型的定义,将静态属性特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束四类,并采用对象约束语言对这些关系进行形式化描述,为模型提供了精确的语义支持。该模型既能解决电子数据的静态属性特征的表示问题,又能完成静态属性的冲突检测,从而达到电子数据静态属性的取证目的。