@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},
}