基于Petri網的構件軟件系統(tǒng)的安全性分析.pdf

1、近年來，在中間件技術的基礎上，結合軟件復用和面向對象的思想，構件化設計和開發(fā)作為一種提高軟件生產率和軟件質量的有效途徑，并在實踐中得到廣泛應用。目前，基于構件的軟件開發(fā)方法已開始逐漸應用到安全苛求領域，諸如核電站、航空航天、工業(yè)控制、交通管制、軍事領域和金融安全等方面。應用于這些領域的軟件系統(tǒng)一般要具有實時性、容錯性等特性。在滿足業(yè)務功能性需求同時，還必須滿足特定的安全性需求。本文對目前的構件技術及構件軟件系統(tǒng)安全性的研究現狀、背景及相

2、關概念和技術進行了總結和分析。依據Petri網的相關理論，提出了針對安全苛求系統(tǒng)的基于Petri網的構件軟件系統(tǒng)安全性分析方法。
　　使用該方法進行系統(tǒng)整體安全性分析，首先分析單個構件的安全性。通常這些構件是由第三方開發(fā)的、不提供源代碼的軟件產品，不能保證其安全性符合要求。本文采用一種靜態(tài)方法對單個構件的安全性進行評估。該算法根據構件安全性描述的基本模型（CIA模型）的特點，對傳統(tǒng)的層次分析法(AHP)進行了改進。針對層次分析法方

3、法對構件進行安全性評估時，有專家評估結果主觀性強、評估結點信息沒有明確邊界等缺點，提出了一種改進的構件安全性評估方法。改進的算法利用模糊層次分析法(fuzzy AHP)對CIA模型進行分析，得出單個構件的安全值。改進的算法不僅能夠實現對單個構件的安全性分析，而且可以很好的克服傳統(tǒng)的AHP方法的主觀判斷具有模糊性的缺點。將該算法應用到構件安全性分析中進行實例驗證，結果表明該方法能夠對構件的安全性進行有效的評估。
　　在此基礎上，分析