基于角色的訪問控制改進模型研究與應(yīng)用.pdf

1、訪問控制模型是管理主體對客體訪問限制的策略，通過訪問控制模型保證只有被授權(quán)的用戶才能訪問相應(yīng)的系統(tǒng)資源，提升系統(tǒng)數(shù)據(jù)安全性和完整性。本文主要研究了基于角色的訪問控制模型，針對模型局限性提出改進模型，并對改進模型進行形式化描述和可滿足性證明，最后通過煤質(zhì)管理信息系統(tǒng)對模型進行驗證。
　　本文在分析訪問控制實現(xiàn)機制的基礎(chǔ)上，對比了DAC、MAC和RBAC訪問控制模型，著重分析了隱藏在RBAC模型中的局限性和缺乏形式化描述的問題，提出了

2、基于角色的訪問控制改進模型。從主體集、客體集和權(quán)限集三部分進行改進，建立新的訪問控制模型，給出系統(tǒng)的權(quán)限控制和訪問流程，結(jié)合系統(tǒng)開發(fā)經(jīng)驗列舉開發(fā)過程中安全策略。
　　針對RBAC模型缺乏形式化描述和可滿足性證明的問題，借助基本描述邏輯語言ALC對改進模型進行形式化描述，利用ALC語法和語義，建立描述邏輯知識庫K，給出Tbox術(shù)語集、Abox斷言集和模型的形式化描述概念表達式。最后采用Tableau算法對模型進行可滿足性證明，驗證了

3、模型合理性。
　　最后，基于Java語言，在Eclipse開發(fā)環(huán)境上建立JSP+Struts2+Spring+iBatis架構(gòu)的大型煤炭企業(yè)煤質(zhì)管理信息系統(tǒng)。主要實現(xiàn)系統(tǒng)管理模塊，驗證模型的權(quán)限分配和訪問控制過程，進而得出模型可行性和有效性。
　　研究成果應(yīng)用于某大型煤炭集團的煤質(zhì)管理信息系統(tǒng)中，結(jié)果表明：本文提出的基于角色的訪問控制改進模型進行形式化描述之后，概念消除歧義，便于理解和擴展，而且模型可滿足系統(tǒng)需求。實際系統(tǒng)開