基于重寫系統(tǒng)的風(fēng)險分析模型研究.pdf

1、計算機安全風(fēng)險分析隨著計算機系統(tǒng)安全問題的日益嚴重而受到廣泛重視。因為其處理對象的龐大和復(fù)雜，風(fēng)險分析需要自動化的方法實現(xiàn)以保證其實時性。風(fēng)險分析方法的發(fā)展目前已經(jīng)進入了以抽象的模型化方法為指導(dǎo)的階段。項重寫的風(fēng)險分析模型以其良好的代數(shù)規(guī)范為風(fēng)險分析的實現(xiàn)提供了理論基礎(chǔ)。但是現(xiàn)存項重寫的模型忽略了分析和決策之間的推理過程，容易導(dǎo)致潛在威脅的傳播。 本文針對項重寫風(fēng)險分析模型中資產(chǎn)的關(guān)鍵性級別，劃分出關(guān)鍵資產(chǎn)，通過分步的風(fēng)險分析，

2、實現(xiàn)不僅可以降低系統(tǒng)復(fù)雜度，還能有效保證關(guān)鍵資產(chǎn)的優(yōu)先處理；引入了與或攻擊樹構(gòu)建攻擊場景，節(jié)約了運行所需的空間，為后來的決策選擇打下基礎(chǔ)，同時也為以后的圖重寫的風(fēng)險分析提供依據(jù)。另外將模型中的環(huán)境項作為系統(tǒng)狀態(tài)，通過狀態(tài)轉(zhuǎn)移的方法描述了風(fēng)險分析結(jié)果。本文證明了改進后的模型ITRS-RA是終止的，并且在一定條件下合流。 本文在項重寫系統(tǒng)所建立的代數(shù)規(guī)范的基礎(chǔ)上提出了圖重寫的風(fēng)險分析模型GRS-RA。該模型依賴項重寫系統(tǒng)所建立的風(fēng)險