Browse DORAS
Browse Theses
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

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:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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.

Item Type:Conference or Workshop Item (Paper)
Event Type:Workshop
Uncontrolled Keywords:Access control; Security systems
Subjects:Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Publisher:British Computer Society
Official URL:
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15921
Deposited On:19 Apr 2011 15:30 by Shane Harper. Last Modified 26 Apr 2011 15:48

Download statistics

Archive Staff Only: edit this record