基于角色访问控制系统中角色结构安全性分析问题的模型检测验证 (2010年)

【文件属性】：

文件名称：基于角色访问控制系统中角色结构安全性分析问题的模型检测验证 (2010年)

文件大小：358KB

文件格式：PDF

更新时间：2024-06-01 20:43:04

自然科学 论文

提出了一种与角色结构相关的安全性分析问题（RRA―SAP），分析了角色结构对系统安全性的影响，证明了其计算复杂度，采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法，并验证了其有效性。结果表明，该算法可以在期望的时间内自动解决RRA―SAP问题。