26
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

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

      Preprint
      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references28

          • Record: found
          • Abstract: not found
          • Book: not found

          Modeling in Event-B

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Proposed NIST standard for role-based access control

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              UML-B

                Bookmark

                Author and article information

                Journal
                14 May 2018
                Article
                10.4204/EPTCS.271.8
                1805.05521
                5aaaad42-5de4-48c5-b31c-93c9f96822bf

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                EPTCS 271, 2018, pp. 105-116
                In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636
                cs.SE cs.LO
                EPTCS

                Software engineering,Theoretical computer science
                Software engineering, Theoretical computer science

                Comments

                Comment on this article

                scite_
                0
                0
                0
                0
                Smart Citations
                0
                0
                0
                0
                Citing PublicationsSupportingMentioningContrasting
                View Citations

                See how this article has been cited at scite.ai

                scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

                Similar content127

                Most referenced authors105