Portal de Periódicos da CAPES

Layered graph logic as an assertion language for access control policy models

2015; Oxford University Press; Volume: 27; Issue: 1 Linguagem: Inglês

10.1093/logcom/exv020

1465-363X

Matthew Collinson, Kevin McDonald, David Pym,

Distributed systems and fault tolerance

Journal Article Layered graph logic as an assertion language for access control policy models Get access Matthew Collinson, Matthew Collinson Computing Science, University of Aberdeen, King's College, Aberdeen AB24 3FX. Search for other works by this author on: Oxford Academic Google Scholar Kevin McDonald, Kevin McDonald Computing Science, University of Aberdeen, King's College, Aberdeen AB24 3FX. Search for other works by this author on: Oxford Academic Google Scholar David Pym David Pym UCL, Department of Computer Science, Gower Street, London WC1E 6BT. E-mail: matthew.collinson@abdn.ac.uk; k.mcdonald.06@aberdeen.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 27, Issue 1, February 2017, Pages 41–80, https://doi.org/10.1093/logcom/exv020 Published: 12 June 2015 Article history Received: 03 July 2014 Published: 12 June 2015