Eric Rothstein Morris, Joachim Posegga. Idea: Enforcing Security Properties by Solving Behavioural Equations. In Juan Caballero, Eric Bodden, Elias Athanasopoulos, editors, Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. Volume 9639 of Lecture Notes in Computer Science, pages 260-268, Springer, 2016. [doi]
Abstract is missing.