一種電子數(shù)據(jù)可信取證形式化模型.pdf

1、伴隨著計算機技術(shù)的快速發(fā)展，涉及到計算機犯罪的案件頻繁發(fā)生，計算機取證技術(shù)應(yīng)運而生。計算機取證具有自身的特點，要求在取證過程中，盡最大可能地搜集到所有涉案電子證據(jù)、保證電子數(shù)據(jù)的原始性、確保電子數(shù)據(jù)取證結(jié)果可信。如何保證提供的證據(jù)能夠呈堂并作為庭審的依據(jù)，是一個亟待解決的難題?？v觀計算機取證近些年的研究現(xiàn)狀，技術(shù)研究的重點放在電子數(shù)據(jù)的獲取上，忽視了數(shù)據(jù)分析和取證理論的研究。鑒于此，本文在已有研究的基礎(chǔ)上，提出了計算機取證中電子數(shù)據(jù)的靜

2、態(tài)屬性語義特征模型和計算機取證過程中動態(tài)行為形式化模型，從而保證取證過程電子數(shù)據(jù)的原始性、完整性、一致性和可信性以及取證方法的規(guī)范化。
　　在查閱大量的文獻后，本文做的主要工作如下：
　　1）總結(jié)已有研究成果，研究分析電子數(shù)據(jù)可信取證的理論基礎(chǔ)，為可信取證形式化模型提供基本的理論支撐。
　　2）在已有的電子數(shù)據(jù)可信取證體系的理論基礎(chǔ)上，分析現(xiàn)有計算機取證方法的不足，并由此提出計算機取證中電子數(shù)據(jù)的靜態(tài)屬性語義特征模型和