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

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

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

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