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

• 作者: 唐振民 王健
• 来源期刊: 南京理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 云取证 对象约束语言 数字证据 过程建模 领域特征
• 年，卷（期）: 2016,（4）
• 页码范围: 477-484
• 页数: 8页
• 分类号: TP393.09|D918.2
• 字数: 6666字
• 语种: 中文
• DOI: 10.14177/j.cnki.32-1397n.2016.40.04.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐振民	南京理工大学计算机科学与工程学院	191	2436	26.0	40.0
2	王健	南京理工大学计算机科学与工程学院	45	304	10.0	16.0