@inproceedings{BasinJKZ-POST12, author = {David Basin and Vincent Jug\'e and Felix Klaedtke and Eugen Zalinescu}, title = {Enforceable {S}ecurity {P}olicies {R}evisited}, booktitle = {1st Conference on Principles of Security and Trust (POST'2012)}, year = 2012, pages = {309--328}, series = {Lecture Notes in Computer Science}, volume = {7215}, publisher = {Springer}, doi = {10.1007/978-3-642-28641-4_17}, }