基于角色訪問控制系統(tǒng)的安全授權分析與驗證.pdf

1、訪問控制通過對用戶訪問系統(tǒng)資源進行安全控制來保護系統(tǒng)資源?；诮巧脑L問控制模型適合對各種訪問控制需求進行建模而且能夠簡化訪問控制管理，基于角色的訪問控制模型作為一種授權模型已經(jīng)廣泛用于商業(yè)應用系統(tǒng)。
　　 由于訪問控制模型及其擴展模型有許多約束，而這些約束由于相互影響可能會產(chǎn)生沖突，因此通過驗證訪問控制模型來避免訪問控制漏洞具有重要作用。傳統(tǒng)的訪問控制模型驗證方法針對獨立的訪問控制模型，能夠發(fā)現(xiàn)訪問控制模型內(nèi)部不同約束之間的可

2、能潛在沖突。但是傳統(tǒng)模型驗證方法沒有考慮實際系統(tǒng)，由于訪問控制系統(tǒng)的安全不僅與訪問控制模型有關，還與系統(tǒng)的授權約束相關。因此，對訪問控制系統(tǒng)的授權約束進行安全性驗證具有重要意義。
　　 針對上述問題，本文提出一種基于角色訪問控制系統(tǒng)的安全授權驗證方法。首先，利用形式化規(guī)范語言來描述訪問控制系統(tǒng)及其授權約束，包括用統(tǒng)一建模語言(UML)類圖表示訪問控制模型，用對象約束語言(OCL)描述訪問控制系統(tǒng)的授權約束；然后，利用模型驅動架構