摘要
探讨了一种安全访问控制模型GRBAC。在标准基于角色的访问控制(Role-Based Access Control,RBAC)模型的基础上引入了组(group)的概念,以简化角色层次关系并建立GRBAC模型;通过UML和形式化B方法相结合的技术来研究GRBAC模型,将GRBAC模型的UML模型转换成B抽象机,再通过模型检测工具对抽象机模型进行验证,从而保证软件设计的正确性。
This paper introduces a security access control model named GRBAC. GRBAC model introduces the concept of group to simplify the role hierarchy based on the standard RBAC（Role-Based Access Control） model. The GRBAC model is studied by the combination of UML and Formal B method. This paper also introduces how to convert the UML model into a B abstract machine and then verifies the abstract machine through the model checking tools so as to ensure the correctness of the software design.
出处
《南通职业大学学报》
2016年第4期83-87,共5页
Journal of Nantong Vocational University
