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

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

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