eprintid: 1464201
rev_number: 42
eprint_status: archive
userid: 608
dir: disk0/01/46/42/01
datestamp: 2015-11-19 17:27:39
lastmod: 2021-10-05 00:29:14
status_changed: 2017-04-27 15:55:13
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Pym, D
creators_name: Collinson, M
creators_name: McDonald, K
title: Layered graph logic as an assertion language for access control policy models
ispublished: pub
divisions: UCL
divisions: B04
divisions: C05
divisions: F48
keywords: substructural logic, layered graphs, access control, modelling
note: This is a pre-copyedited, author-produced PDF of an article accepted for publication in the Journal of Logic and Computation following peer review. The version of record, Pym, D; Collinson, M; McDonald, K; (2015) Layered graph logic as an assertion language for access control policy models. Journal of Logic and Computation, is available online at: http://dx.doi.org/10.1093/logcom/exv020.
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.
date: 2015-06-12
publisher: Oxford University Press (OUP)
official_url: http://dx.doi.org/10.1093/logcom/exv020
vfaculties: VENG
oa_status: green
full_text_type: other
language: eng
primo: open
primo_central: open_green
article_type_text: Article
verified: verified_manual
elements_source: Manually entered
elements_id: 1021439
doi: 10.1093/logcom/exv020
lyricists_name: Pym, David
lyricists_id: DPYMX87
full_text_status: public
publication: Journal of Logic and Computation
volume: 27
number: 1
pagerange: 41-80
issn: 1465-363X
citation:        Pym, D;    Collinson, M;    McDonald, K;      (2015)    Layered graph logic as an assertion language for access control policy models.                   Journal of Logic and Computation , 27  (1)   pp. 41-80.    10.1093/logcom/exv020 <https://doi.org/10.1093/logcom%2Fexv020>.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/1464201/1/CollinsonMcDonaldPym-AccessControl.pdf