計(jì)算機(jī)取證中的模型推理方法研究.pdf

1、計(jì)算機(jī)取證技術(shù)近年來獲得飛速發(fā)展。與此同時(shí)，隨著計(jì)算機(jī)犯罪的多樣化以及民事調(diào)查類型的增多，計(jì)算機(jī)取證分析師卻在多方面面臨著挑戰(zhàn)，如：海量數(shù)據(jù)、案件復(fù)雜程度的增加、取證結(jié)果的可信度等?；谀Ｐ偷耐评硎墙陙碛?jì)算機(jī)取證領(lǐng)域一個(gè)十分活躍的研究方向，針對調(diào)查目標(biāo)系統(tǒng)建立模型，利用該模型根據(jù)已知證據(jù)進(jìn)行推理，從而實(shí)現(xiàn)證據(jù)的形式化自動分析，是解決這些挑戰(zhàn)的可行性方法之一。
　　 根據(jù)現(xiàn)實(shí)案例建立的模型，其復(fù)雜程度直接關(guān)系到推理的效率。對調(diào)查

2、目標(biāo)系統(tǒng)建立分層模型，利用分層的推理算法來進(jìn)行推理是減少推理的節(jié)點(diǎn)空間，提高推理效率的方法之一。
　　 本文的研究從以下幾個(gè)方面進(jìn)行：
　　 1)為了減少推理的節(jié)點(diǎn)空間，利用分層Petri網(wǎng)對調(diào)查目標(biāo)系統(tǒng)進(jìn)行建模，使用單路正向的推理策略，實(shí)現(xiàn)了分層Petri網(wǎng)的正向推理算法。并對分層與未分層模型的推理效率進(jìn)行了比較，實(shí)驗(yàn)結(jié)果表明該算法減少了推理的節(jié)點(diǎn)空間。
　　 2)實(shí)現(xiàn)了基于分層Petri網(wǎng)模型的推理原型系統(tǒng)，