Projekt per år
Sammanfattning
Role-Based Access Control (RBAC) is a popular authorization model used to manage resource-access constraints in a wide range of systems. The standard RBAC framework adopts a static, state-independent approach to define the access rights to the system resources. It is often insufficient for correct implementation of the desired functionality and should be augmented with the dynamic, i.e., a state-dependant view on the access control. In this paper, we present a work in progress on creating a domain-specific language and the tool support for modelling and verification of dynamic RBAC. They support a tabular representation of the static RBAC constraints together with the graphical model of the scenarios and enable an automated translation of them into an Event-B model.
Originalspråk | Odefinierat/okänt |
---|---|
Titel på värdpublikation | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings |
Redaktörer | Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
Förlag | Springer |
Sidor | 386–391 |
ISBN (elektroniskt) | 978-3-319-91271-4 |
ISBN (tryckt) | 978-3-319-91270-7 |
DOI | |
Status | Publicerad - 2018 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z - 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Varaktighet: 5 juni 2018 → 8 juni 2018 |
Konferens
Konferens | International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z |
---|---|
Period | 05/06/18 → 08/06/18 |
Nyckelord
- Access control
- DSL
- Event-B
- JetBrains MPS
- Verification
Projekt
- 1 Slutfört
-
LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19
Projekt: Finlands Akademi/Övriga Forskningsråd