A Graph-Based Framework for the Analysis of Access Control Policies
- Submitting institution
-
King's College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 87030216
- Type
- D - Journal article
- DOI
-
10.1016/j.tcs.2016.10.018
- Title of journal
- Theoretical Computer Science
- Article number
- -
- First page
- 3
- Volume
- 685
- Issue
- -
- ISSN
- 0304-3975
- Open access status
- Compliant
- Month of publication
- November
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper started a new line of research in access control, contributing to the Senior Research Award for Fernandez at IEEE BigDataSecurity 2020. It introduces a new general model of access control (encompassing the most popular models) and a graph-based policy language with formal axiomatic semantics. The new graph-based approach, cited in an ACM computing survey https://doi.org/10.1145/3295749, enables formal proofs of crucial policy properties and efficient computation of answers to administrator queries known to be challenging in access control solutions. The paper illustrates the usability of the model in the area of health policies for management of emergencies.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -