| 基于角色访问控制系统中角色结构安全性分析问题的模型检测验证 |
| |
| 引用本文： | 邹林,，潘理,.基于角色访问控制系统中角色结构安全性分析问题的模型检测验证[J].上海交通大学学报,2010,44(9):1192-1196. |
| |
| 作者姓名： | 邹林 ，潘理 |
| |
| 作者单位： | (1.上海交通大学 电子信息与电气工程学院， 上海 200240；2.上海市信息安全综合管理技术研究重点实验室， 上海 200240）
|
| |
| 摘 要： | 提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.
|
| 关 键 词： | 角色结构 安全性分析问题 模型检测 |
| 收稿时间： | 2009-10-7 |
RRA SAP Security Verification Based on Model Checking for RBAC Access Control Systems |
| |
| ZOU Lin,PAN Li,.RRA SAP Security Verification Based on Model Checking for RBAC Access Control Systems[J].Journal of Shanghai Jiaotong University,2010,44(9):1192-1196. |
| |
| Authors: | ZOU Lin PAN Li |
| |
| Institution: | (1. School of Electronic Information and Electric Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. Shanghai Key Laboratory of Information Security Synthesis Management Technique Research, Shanghai 200240, China)
|
| |
| Abstract: | A new security analysis problem named role role assignment security analysis problem(RRA SAP) was proposed. The impact of role hierarchy changes on security was analyzed, and the computational complexity of this problem proved. An algorithm of translating RRA SAP into a Model checking formalism was also proposed to do automatic verification, and to prove the feasibility of this method. The experiment shows that this algorithm can automaticly solve RRA SAP in expected time. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《上海交通大学学报》浏览原始摘要信息 |
| 点击此处可从《上海交通大学学报》下载免费的PDF全文 |
|
