Blog
About

125
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

      4th Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      5th-6th July 2000

      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

          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.

          Related collections

          Most cited references 4

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          The essence of functional programming

           Philip Wadler (1992)
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            A core calculus of dependency

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

              Report on the programming language Haskell

                Bookmark

                Author and article information

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

                Dublin, Ireland
                Article
                10.14236/ewic/IWFM2000.5
                © 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