Very Static Enforcement of Dynamic Policies

Bart van Delft, Sebastian Hunt, David Sands. Very Static Enforcement of Dynamic Policies. In Riccardo Focardi, Andrew C. Myers, editors, Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Volume 9036 of Lecture Notes in Computer Science, pages 32-52, Springer, 2015. [doi]

Abstract

Abstract is missing.