Algebra and logic for access control (2008)

by M Collinson, D Pym