• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna, Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. In: Michael J. Butler, Alexander Raschk, Thai Son Hoang, Klaus Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Lecture Notes in Computer Science 10817, 386–391, Springer, 2018.

http://dx.doi.org/10.1007/978-3-319-91271-4\_28

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpViBaTr18a,
  title = {Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International  Conference, ABZ 2018},
  author = {Vistbakka, Inna and Barash, Mikhail and Troubitsyna, Elena},
  volume = {10817},
  series = {Lecture Notes in Computer Science},
  editor = {Butler, Michael J. and Raschk, Alexander and Hoang, Thai Son and Reichl, Klaus},
  publisher = {Springer},
  pages = {386–391},
  year = {2018},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 2

Edit publication