Algebra and logic for access control

: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access control problem in computer security is fundamentally concerned with the ability of system entities 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. External Posting Date: May 21, 2009 [Fulltext] Approved for External Publication Internal Posting Date: May 21, 2009 [Fulltext] Copyright 2009 Hewlett-Packard Development Company, L.P. 

• Type: Journal
• Year: 2010
• Where: FAC
• Authors: Matthew Collinson, David J. Pym
• Keywords: Access Control, Access Control Problem, Control Matthew Collinson, FAC 2010