On Completeness in Languages for Attribute-Based Access Control.

Jason Crampton, Conrad Williams

Browse the full SACMAT paper archive.