基于Petri網(wǎng)的事件重建應(yīng)用研究.pdf

1、計算機犯罪的高技術(shù)特性使取證科學(xué)產(chǎn)生了一個新的分支，即計算機取證。與傳統(tǒng)取證不同的是，計算機取證收集、分析的數(shù)據(jù)是計算機運行過程中所產(chǎn)生的數(shù)據(jù)。事件重建是計算機取證分析的一個重要部分，它是一項調(diào)查安全事件中所發(fā)生具體事件的重要任務(wù)。在入侵事件發(fā)生后，如何有效地進行計算機犯罪事件重建是計算機取證領(lǐng)域當(dāng)前急需解決的重要問題。一種使事件重建更加嚴謹、可信的途徑是采用標(biāo)準(zhǔn)模型對事件重建進行形式化定義。在此基礎(chǔ)上，事件重建的自動分析才有可能實現(xiàn)。

2、 為了實現(xiàn)上述目標(biāo)，本文主要做了如下兩個方面的研究工作： (1) 根據(jù)計算機證據(jù)的特征及相關(guān)性，探討了事件重建的基本模型，把事件重建過程劃分為四個階段：證據(jù)鑒別、因果關(guān)聯(lián)、事件重建、假設(shè)驗證。我們的目標(biāo)是希望根據(jù)這一模型能使事件重建更具通用性。 (2) 為使事件重建具有較好的理論支持，文本以Petri網(wǎng)為基本推理模型，提出了一個基于 Petri 網(wǎng)的事件重建逆向推理算法。該算法有以下特征：將被調(diào)查的系統(tǒng)模擬為一個