Abstract
We describe a uniform logical framework, based on a bunched logic that combines classical additives and very weak multiplicatives, for reasoning compositionally about access control policy models. We show how our approach takes account of the underlying system architecture, and so provides a way to identify and reason about how vulnerabilities may arise (and be removed) as a result of the architecture of the system. We consider, using frame rules, how local properties of access control policies are maintained as the system architecture evolves.
Original language | English |
---|---|
Pages (from-to) | 41-80 |
Number of pages | 40 |
Journal | Journal of Logic and Computation |
Volume | 27 |
Issue number | 1 |
Early online date | 12 Jun 2015 |
DOIs | |
Publication status | Published - Feb 2017 |
Keywords
- substructural logic
- layered graphs
- access control
- modelling
Fingerprint
Dive into the research topics of 'Layered graph logic as an assertion language for access control policy models'. Together they form a unique fingerprint.Profiles
-
Matthew Collinson
- School of Natural & Computing Sciences, Computing Science - Senior Lecturer
- Cybersecurity and Privacy
Person: Academic