Vincent C. Hu, D. Richard Kuhn. General Methods for Access Control Policy Verification (Application Paper). In 17th IEEE International Conference on Information Reuse and Integration, IRI 2016, Pittsburgh, PA, USA, July 28-30, 2016. pages 315-323, IEEE Computer Society, 2016. [doi]
Abstract is missing.