GRBAC模型的形式化方法研究

来源 :南通职业大学学报 | 被引量 : 0次 | 上传用户：imyylam

【摘要】

：

探讨了一种安全访问控制模型GRBAC.在标准基于角色的访问控制（Role-Based Access Control,RBAC）模型的基础上引入了组（group）的概念,以简化角色层次关系并建立GRBAC模型;通过UML

【作者】

：

朱勇

【机构】

：

扬州市职业大学信息工程学院

【出处】

：

南通职业大学学报

【发表日期】

：

2016年4期

【关键词】

：

形式化方法 B方法 GRBAC模型 formal method B method UML GRBAC model

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

探讨了一种安全访问控制模型GRBAC.在标准基于角色的访问控制（Role-Based Access Control,RBAC）模型的基础上引入了组（group）的概念,以简化角色层次关系并建立GRBAC模型;通过UML和形式化B方法相结合的技术来研究GRBAC模型,将GRBAC模型的UML模型转换成B抽象机,再通过模型检测工具对抽象机模型进行验证,从而保证软件设计的正确性.

其他文献

闪锌矿氧压酸浸渣中硫的回收研究

采用浸取法对闪锌矿氧压酸浸渣中硫的回收进行了研究，选择四氯乙烯作有机溶剂，探索出了温度、液-固比、时间、溶液回用及有机溶剂添加剂对回收率的影响，探索出其中的规律。

期刊

浸取闪锌矿氧压酸浸渣四氯乙烯硫回收leaching sphalerite in oxygen pressure acid leaching slag

如何解决电力企业办公室管理改革创新的问题

新时代下,办公室的创新管理对电力企业的发展、经营、决策都有着重要的作用,办公室作为电力企业的一个重要部门,有着综合管理、办公无缝衔接等作用。本文就电力企业办公室管

期刊

电力企业办公室管理创新改革

做好高校党委督查督办工作的几点思考

督办工作是办公室发挥参谋助手作用,提高深层次服务水平的重要职能,也是学校工作的重要组成部分。做好督办工作,不仅直接反映办公室工作的效力,同时,也能体现出学校对内的管

期刊

督查督办政令畅通高校党建

Excel VBA在钢筋算量中的应用

为实用、便捷地将平法表示的混凝土结构施工图中的钢筋部分转化成易于理解的钢筋算量表单,通过在Excel中编写VBA程序,自动生成钢筋算量输入表单,填写数据后,经过计算机分析处

期刊

ExcelVBA二次开发钢筋算量钢筋表单平法结构施工图Excel VBA secondary development reinforcement

GRBAC模型的形式化方法研究

其他学术论文