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

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

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