Click here for full text:
Algebra and logic for access control
Collinson, Matthew; Pym, David
HP Laboratories
HPL-2008-75
Keyword(s): Access control, process algebra, bunched Logic; systems modelling
Abstract: The access control problem in computer security is fundamentally concerned with the ability of system entitites to see, make use of, or alter various system resources. As such, many access control situations are essentially problems of concurrency. We give an account of fundamental situations in access-control in distributed systems using a resource-based process calculus and a hybrid of Hennessy-Milner and resource logic. This yields a consistent account of operational behaviour and logical reasoning for access control, that includes an analysis of co-signing, roles and chains-of-trust.
25 Pages
Additional Publication Information: Submitted to Formal Aspects of Computing
External Posting Date: July 6, 2008 [Fulltext]. Approved for External Publication
Internal Posting Date: July 6, 2008 [Fulltext]
Back to Index
| 
Printable version
