Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad Wrona. A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. In Edgar R. Weippl, Florian Kerschbaum, Adam J. Lee, editors, Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, Vienna, Austria, June 1-3, 2015. pages 151-155, ACM, 2015. [doi]
Abstract is missing.