Abstract
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.
Original language | English |
---|---|
Article number | 31 |
Journal | ACM Transactions on Internet Technology |
Volume | 18 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1 Mar 2018 |
Keywords
- Action language
- Answer set programming
- Data sharing
- Deontic logic
- Privacy policy
ASJC Scopus subject areas
- Computer Networks and Communications
Fingerprint
Dive into the research topics of 'Fine-Grained Access Control via Policy-Carrying Data'. Together they form a unique fingerprint.Profiles
-
Julian Padget
- Department of Computer Science - Reader
- EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
- Water Innovation and Research Centre (WIRC)
- UKRI CDT in Accountable, Responsible and Transparent AI
- Centre for Therapeutic Innovation
- Artificial Intelligence
Person: Research & Teaching