計(jì)算機(jī)犯罪事件重建理論應(yīng)用研究.pdf

1、計(jì)算機(jī)犯罪的高技術(shù)特性使取證科學(xué)產(chǎn)生了一個(gè)新的分支即計(jì)算機(jī)取證。與傳統(tǒng)取證不同的是，計(jì)算機(jī)取證收集、分析的數(shù)據(jù)是計(jì)算機(jī)運(yùn)行過(guò)程中所產(chǎn)生的數(shù)據(jù)。事件重建是計(jì)算機(jī)取證分析的一個(gè)重要部分，它是一項(xiàng)調(diào)查安全事件中所發(fā)生具體事件的重要任務(wù)。在入侵事件發(fā)生后，如何有效地進(jìn)行計(jì)算機(jī)犯罪事件重建是計(jì)算機(jī)取證領(lǐng)域當(dāng)前急需解決的重要問(wèn)題。一種使事件重建更加嚴(yán)謹(jǐn)?shù)耐緩绞遣捎脭?shù)學(xué)的方法，一旦事件重建被形式化，那么事件重建的自動(dòng)分析就有可能實(shí)現(xiàn)。 為了達(dá)

2、到上述目標(biāo)，本文主要做了兩個(gè)方面的研究工作： (1)根據(jù)計(jì)算機(jī)證據(jù)的特征及相關(guān)性，引入了一個(gè)基于角色劃分的事件重建模型，把事件重建過(guò)程劃分為五個(gè)階段：證據(jù)鑒別、角色劃分、事件重建、事件排序、假設(shè)驗(yàn)證，我們的目標(biāo)便是希望能夠根據(jù)這一模型來(lái)設(shè)計(jì)一個(gè)軟件工具以實(shí)現(xiàn)事件重建。 (2)為了通過(guò)已知的證據(jù)來(lái)解釋整個(gè)犯罪過(guò)程，又進(jìn)而提出了一個(gè)基于有限狀態(tài)機(jī)的事件重建算法和系統(tǒng)，通過(guò)這個(gè)算法和系統(tǒng)可以進(jìn)行事件重建。這個(gè)被形式化了的事件重