面向使用 UML 与 Event-B 的动态访问控制集成建模
软件工程
2018-05-16 v1 计算机科学中的逻辑
摘要
基于角色的访问控制（RBAC）是一种流行的授权模型，用于管理广泛系统中的数据访问约束。RBAC 通常定义访问权限的静态视图。然而，为确保系统的可靠性，往往有必要对状态相关的访问权限进行建模与验证。此类建模使我们能够显式定义系统状态与访问和修改某些数据的权限之间的依赖关系。在本文中，我们展示了一项进行中的工作，即结合图形化与形式化建模来规约并验证动态访问控制。该方法通过一个案例研究——报告管理系统加以说明。
引用
@article{arxiv.1805.05521,
title = {Towards Integrated Modelling of Dynamic Access Control with UML and Event-B},
author = {Inna Vistbakka and Elena Troubitsyna},
journal= {arXiv preprint arXiv:1805.05521},
year = {2018}
}
备注
In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636