GRBAC模型的形式化方法研究

摘要：

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

关键词：形式化方法、B方法、UML、GRBAC模型

所属期刊栏目：30

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2017-02-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：83-87