電子數(shù)據(jù)可信取證的形式化方法研究.pdf

1、隨著計算機技術(shù)的發(fā)展和網(wǎng)絡的普及，利用計算機或以計算機為目標的犯罪事件頻繁發(fā)生。計算機犯罪引起了人們極大的關(guān)注。如何最大限度地獲取計算機犯罪相關(guān)的電子證據(jù)并確保電子證據(jù)的可信性，將犯罪分子繩之以法，政法機關(guān)在利用高技術(shù)手段對付這種高技術(shù)犯罪方面缺乏必要的技術(shù)保障和支持。當前計算機犯罪調(diào)查研究主要有兩大方向--法律和技術(shù)。就技術(shù)層面研究而言，發(fā)展了多年的計算機犯罪研究，主要將重點放在計算機數(shù)據(jù)的獲取上。而隨著犯罪技術(shù)的多樣化、技術(shù)化和復雜

2、化，對計算機犯罪調(diào)查的要求越來越專業(yè)化、正規(guī)化。
　　 在計算機取證領(lǐng)域，許多取證技術(shù)在實際的取證過程中已經(jīng)得到了成功有效的應用。但對所得到的電子證據(jù)的有效性或可信性方面還存在明顯的問題，本文在此背景下提出了電子證據(jù)的可信取證理念，并對相關(guān)問題進行了研究。
　　 在研讀了大量文獻的基礎(chǔ)上，本文主要做了如下工作:
　　 1.對計算機取證技術(shù)的發(fā)展及國內(nèi)外研究現(xiàn)狀進行了深入的研究和探討，對現(xiàn)有的幾種典型的計算機取證模

3、式進行了分析。
　　 2.在對計算機取證領(lǐng)域涉及的基本概念、相關(guān)理論、基本原則和采信標準等進行了綜述性介紹的基礎(chǔ)上，提出了電子數(shù)據(jù)可信取證的研究思想，并給出了可信取證體系結(jié)構(gòu)的描述。
　　 3.基于電子數(shù)據(jù)的靜態(tài)屬性及可信思想，借助集合論與謂詞邏輯，建立了電子數(shù)據(jù)的靜態(tài)屬性特征模型，通過形式化的描述語言給出電子數(shù)據(jù)可信的約束條件和規(guī)則描述，構(gòu)建了基于約束的電子數(shù)據(jù)特征描述模型。
　　 4.結(jié)合工作流技術(shù)及時序邏輯