HPL-2008-75 Algebra and logic for access control - Collinson, Matthew; Pym, David
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 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 acce ...
Full Report