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

Saved in:

Bibliographic Details
Title:	Layered graph logic as an assertion language for access control policy models.
Authors:	COLLINSON, MATTHEW¹, matthew.collinson@abdn.ac.uk, MCDONALD, KEVIN¹, k.mcdonald.06@aberdeen.ac.uk, PYM, DAVID², d.pym@ucl.ac.uk
Source:	Journal of Logic & Computation; Feb2017, Vol. 27 Issue 1, p41-80, 40p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exv020