Towards Integrated Modelling of Dynamic Access Control with UML and Event-B release_imchbvk65bcphk7snmtn752wiy

by Inna Vistbakka

Released as a article .

2018  

Abstract

Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the access rights. However, to ensure dependability of a system, it is often necessary to model and verify state-dependent access rights. Such a modelling allows us to explicitly define the dependencies between the system states and permissions to access and modify certain data. In this paper, we present a work-in-progress on combining graphical and formal modelling to specify and verify dynamic access control. The approach is illustrated by a case study -- a reporting management system.
In text/plain format

Archived Files and Locations

application/pdf  236.5 kB
file_ccckbhrfzjft7fnki3bvofpwo4
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2018-05-15
Version   v1
Language   en ?
arXiv  1805.05521v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2f7470af-f3de-4a64-98d3-f991372d4dde
API URL: JSON