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

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

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