An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Pahl, Claus (2000) An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems. In: The 4th Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland.
Full text available as:
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.
Archive Staff Only: edit this record