基于Petri網(wǎng)的電子數(shù)據(jù)取證有效性模型.pdf

1、當(dāng)前，網(wǎng)絡(luò)的發(fā)展在給企業(yè)及個人帶來極大方便的同時，也帶來了另外一個前所未有的問題-網(wǎng)絡(luò)安全與計算機犯罪。人們關(guān)于計算機犯罪、計算機取證的研究已有幾十年的歷史，也取得了很多的研究成果，這些成果很大一部分己在實際中得到了應(yīng)用。然而，近幾年的研究逐步發(fā)現(xiàn)了一些新問題，即以往過分注重于數(shù)據(jù)的獲取，而忽視了對數(shù)據(jù)分析，對取證理論的研究。 本文由簡入深，首先介紹了計算機取證的概念、定義、取證原則及取證過程等基本信息，并分析了當(dāng)前國內(nèi)外關(guān)于計

2、算機取證的研究現(xiàn)狀及面臨的問題，為本文第二、三章的提出打下了基礎(chǔ)。 根據(jù)取證研究現(xiàn)狀的不足，本文提出了基于瀑布模型的計算機取證過程模型。該模型的最大好處是考慮到取證過程中可能需要對已經(jīng)得出的結(jié)論進行修改或補充等實際情況而引入了反饋機制。 針對當(dāng)前證據(jù)有效性不足的缺點，結(jié)合概率論，提出了基于Petri網(wǎng)的對數(shù)據(jù)進行分析處理的取證過程，該推理以概率論和Petri網(wǎng)為基礎(chǔ)，將取證后經(jīng)形式化處理的數(shù)據(jù)抽象為Petri網(wǎng)中的庫所，