We address the problem of associating access policies with datasets and how to monitor compliance via policy-carrying data. Our contributions are a formal model in first-order logic inspired by normative multiagent systems to regulate data access, and a computational model for the validation of specific use cases and the verification of policies against criteria. Existing work on access policy identifies roles as a key enabler, with which we concur, but much of the rest focusses on authentication and authorization technology. Our proposal aims to address the normative principles put forward in Berners-Lee's bill of rights for the internet, through human-readable but machine-processable access control policies.
- Action language
- Answer set programming
- Data sharing
- Deontic logic
ASJC Scopus subject areas
- Computer Networks and Communications
FingerprintDive into the research topics of 'Fine-Grained Access Control via Policy-Carrying Data'. Together they form a unique fingerprint.
- Department of Computer Science - Reader
- EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
- Water Innovation and Research Centre (WIRC)
- Centre for Biosensors, Bioelectronics and Biodevices (C3Bio)
- UKRI CDT in Accountable, Responsible and Transparent AI
- Centre for Autonomous Robotics (CENTAUR)
- Centre for Therapeutic Innovation
Person: Research & Teaching