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

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

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