本文關(guān)鍵詞： 云取證 對象約束語言 數(shù)字證據(jù) 過程建模 領(lǐng)域特征　出處：《南京理工大學(xué)學(xué)報》2016年04期 　論文類型：期刊論文

【摘要】：云計算的引入使得取證技術(shù)變得更加復(fù)雜。為保證提供的云取證的證據(jù)能夠呈堂并作為庭審的依據(jù),提出一種基于面向特征的領(lǐng)域分析方法和對象約束語言的可擴展的云取證靜態(tài)屬性語義特征形式化模型,分別給出特征、特征空間和電子數(shù)據(jù)特征空間表示模型的定義,將靜態(tài)屬性特征間的各種關(guān)聯(lián)和依賴關(guān)系分成自身約束、父子關(guān)系約束、顯性約束和隱性約束四類,并采用對象約束語言對這些關(guān)系進行形式化描述,為模型提供了精確的語義支持。該模型既能解決電子數(shù)據(jù)的靜態(tài)屬性特征的表示問題,又能完成靜態(tài)屬性的沖突檢測,從而達到電子數(shù)據(jù)靜態(tài)屬性的取證目的。
[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.
【作者單位】： 南京理工大學(xué)計算機科學(xué)與工程學(xué)院;
【分類號】：D918.2
，

本文編號：1535462