Answers are grounded in this paper and cite their sources.
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. RW is designed for modelling access control policies, and verifying their properties. The RW language is very expressive, allowing us to model complex access conditions which can depend on data values, other permissions, and agent roles.
No takes yet. Share an insight, caveat, or question.
Zhang et al. (2008) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: