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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

7 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Toimittajat	Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Kustantaja	Springer
Sivut	386–391
ISBN (elektroninen)	978-3-319-91271-4
ISBN (painettu)	978-3-319-91270-7
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-91271-4_28
Tila	Julkaistu - 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	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 Kesto: 5 kesäk. 2018 → 8 kesäk. 2018

Konferenssi

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

Keywords

Access control
DSL
Event-B
JetBrains MPS
Verification

Pääsy asiakirjaan

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

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

Viittausmuodot

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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. julkaisussa Butler MJ, Raschke A, Son Hoang T, Reichl K, toimittajat, 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

Abstrakti

Konferenssi

Keywords

Pääsy asiakirjaan

Projektit

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

Viittausmuodot