Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations

William C. Garrison III, Adam J. Lee. Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 18-32, IEEE, 2015. [doi]

Abstract

Abstract is missing.