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

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

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