[发明专利]一种基于角色的访问控制模型的安全约束验证方法无效
| 申请号： | 201110121326.6 | 申请日： | 2011-05-12 |
| 公开（公告）号： | CN102201045A | 公开（公告）日： | 2011-09-28 |
| 发明（设计）人： | 张昊;孙建华;陈浩 | 申请（专利权）人： | 湖南大学 |
| 主分类号： | G06F21/00 | 分类号： | G06F21/00 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 410082 湖*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 一种 基于 角色 访问 控制 模型 安全 约束 验证 方法 | ||
【权利要求书】：
1.一种基于角色的访问控制模型的安全约束验证方法，包括：
(1)用统一建模语言(UML)和对象约束语言(OCL)表示RBAC模型及其约束；
(2)利用模型转换器将UML模型及其OCL约束转换成模型检测器的输入模型；
(3)用模型检测器验证模型约束的安全性。
2.根据权利要求1的方法，其中步骤(1)进一步包括：
(1.1)用UML描述RBAC模型；
(1.2)用OCL描述RBAC模型约束。
3.根据权利要求1的方法，其中步骤(3)进一步包括：
(3.1)对待验证授权属性进行形式化规范；
(3.2)结合待验证的授权属性，验证模型是否存在弱约束；
(3.3)结合待验证的授权属性，验证模型是否存在强约束。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于湖南大学，未经湖南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201110121326.6/1.html，转载请声明来源钻瓜专利网。
