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

Matthew Collinson Kevin McDonald David J. Pym

Published in: J. Log. Comput. (2017)

Keyphrases

access control
access control policies
formal language
database systems
social networks
information systems
low cost
fully connected