Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad Wrona. SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. In Elisa Bertino, Ravi Sandhu, Ram Krishnan, editors, Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control, ABAC@CODASPY 2016, New Orleans, Louisiana, USA, March 11, 2016. pages 35-46, ACM, 2016. [doi]
Abstract is missing.