Formal Reasoning about Fine-Grained Access Control Policies.

Miguel Angel García de Dios Carolina Dania Manuel Clavel

Published in: APCCM (2015)

Keyphrases

fine grained
access control policies
access control
formal language
coarse grained
access control systems
security policies
conflict resolution
data lineage
security mechanisms
trust negotiation
distributed environment