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

Inna Vistbakka; Mikhail Barash; Elena Troubitsyna

doi:10.1007/978-3-319-91271-4_28

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

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

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.

Original language	Undefined/Unknown
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Editors	Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Publisher	Springer
Pages	386–391
ISBN (Electronic)	978-3-319-91271-4
ISBN (Print)	978-3-319-91270-7
DOIs	https://doi.org/10.1007/978-3-319-91271-4_28
Publication status	Published - 2018
MoE publication type	A4 Article in a conference publication
Event	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 Duration: 5 Jun 2018 → 8 Jun 2018

Conference

Conference	International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z
Period	05/06/18 → 08/06/18

Keywords

Access control
DSL
Event-B
JetBrains MPS
Verification

Access to Document

10.1007/978-3-319-91271-4_28

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Principal Investigator), Vistbakka, I. (Co-Investigator) & Majd, A. (Co-Investigator)
01/01/18 → 31/12/19
Project: Research Council of Finland/Other Research Councils

Cite this

Vistbakka, I., Barash, M., & Troubitsyna, E. (2018). Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. In M. J. Butler, A. Raschke, T. Son Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (pp. 386–391). Springer. https://doi.org/10.1007/978-3-319-91271-4_28

Vistbakka, Inna ; Barash, Mikhail ; Troubitsyna, Elena. / Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. editor / Michael J. Butler ; Alexander Raschke ; Thai Son Hoang ; Klaus Reichl. Springer, 2018. pp. 386–391

@inproceedings{c66428efe718408d9956d08253950cdb,

title = "Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B",

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.",

keywords = "Access control, DSL, Event-B, JetBrains MPS, Verification, Access control, DSL, Event-B, JetBrains MPS, Verification, Access control, DSL, Event-B, JetBrains MPS, Verification",

author = "Inna Vistbakka and Mikhail Barash and Elena Troubitsyna",

year = "2018",

doi = "10.1007/978-3-319-91271-4_28",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-91270-7",

pages = "386–391",

editor = "Butler, {Michael J.} and Alexander Raschke and {Son Hoang}, Thai and Klaus Reichl",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings",

publisher = "Springer",

note = "International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z ; Conference date: 05-06-2018 Through 08-06-2018",

}

Vistbakka, I, Barash, M & Troubitsyna, E 2018, Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. in MJ Butler, A Raschke, T Son Hoang & K Reichl (eds), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer, pp. 386–391, International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, 05/06/18. https://doi.org/10.1007/978-3-319-91271-4_28

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. / Vistbakka, Inna; Barash, Mikhail; Troubitsyna, Elena.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. ed. / Michael J. Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. Springer, 2018. p. 386–391.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Vistbakka, Inna

AU - Barash, Mikhail

AU - Troubitsyna, Elena

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Access control

KW - DSL

KW - Event-B

KW - JetBrains MPS

KW - Verification

KW - Access control

KW - DSL

KW - Event-B

KW - JetBrains MPS

KW - Verification

KW - Access control

KW - DSL

KW - Event-B

KW - JetBrains MPS

KW - Verification

U2 - 10.1007/978-3-319-91271-4_28

DO - 10.1007/978-3-319-91271-4_28

M3 - Konferensbidrag

SN - 978-3-319-91270-7

SP - 386

EP - 391

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

A2 - Butler, Michael J.

A2 - Raschke, Alexander

A2 - Son Hoang, Thai

A2 - Reichl, Klaus

PB - Springer

T2 - International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z

Y2 - 5 June 2018 through 8 June 2018

ER -

Vistbakka I, Barash M, Troubitsyna E. Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. In Butler MJ, Raschke A, Son Hoang T, Reichl K, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer. 2018. p. 386–391 doi: 10.1007/978-3-319-91271-4_28

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

Abstract

Conference

Keywords

Access to Document

Projects

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems

Cite this