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