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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

7 Citeringar (Scopus)

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	https://doi.org/10.1007/978-3-319-91271-4_28
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

Åtkomst av dokument

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

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Ansvarig forskare), Vistbakka, I. (CoI) & Majd, A. (CoI)
01/01/18 → 31/12/19
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

Vistbakka, I., Barash, M., & Troubitsyna, E. (2018). Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. I M. J. Butler, A. Raschke, T. Son Hoang, & K. Reichl (Red.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (s. 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. redaktör / Michael J. Butler ; Alexander Raschke ; Thai Son Hoang ; Klaus Reichl. Springer, 2018. s. 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. i MJ Butler, A Raschke, T Son Hoang & K Reichl (red), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer, s. 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. red. / Michael J. Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. Springer, 2018. s. 386–391.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › 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 - Publicerad konferensartikel

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. I Butler MJ, Raschke A, Son Hoang T, Reichl K, redaktörer, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Springer. 2018. s. 386–391 doi: 10.1007/978-3-319-91271-4_28

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

Sammanfattning

Konferens

Nyckelord

Åtkomst av dokument

Projekt

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

Citera det här