Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah. The Implication Problem of Computing Policies. In Andrzej Pelc, Alexander A. Schwarzmann, editors, Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Volume 9212 of Lecture Notes in Computer Science, pages 109-123, Springer, 2015. [doi]
Abstract is missing.