239
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems

      proceedings-article

      4th Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      5th-6th July 2000

      Bookmark

            Abstract

            Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models. We integrate these static aspects into a dynamic framework considering requesting access to resources as a process aiming at the prevention of access control violations when a program is executed. We use another algebraic technique, monads, as a meta-language to integrate access control operations into a functional programming language. The integration of monads and concepts from a denotational model for process algebras provides a framework for programming of access control in security systems.

            Content

            Author and article information

            Contributors
            Conference
            July 2000
            July 2000
            : 1-16
            Affiliations
            [0001]School of Computer Applications, Dublin City University

            Dublin, Ireland
            Article
            10.14236/ewic/IWFM2000.5
            1910d118-6dbc-4ff3-a711-1929a7f79f57
            © Claus Pahl. Published by BCS Learning and Development Ltd. 4th Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            4th Irish Workshop on Formal Methods
            IWFM
            4
            Maynooth, Ireland
            5th-6th July 2000
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article