@article{BasinJKZ-TISSEC13,
  author = {David Basin and Vincent Jug\'e and Felix Klaedtke and Eugen Zalinescu},
  title = {Enforceable {S}ecurity {P}olicies {R}evisited},
  journal = {ACM Transactions on Information and System Security (TISSEC)},
  month = {June},
  year = 2013,
  pages = {3:1--3:26},
  volume = {16},
  number = {1},
  publisher = {ACM Press},
  doi = {10.1145/2487222.2487225},
}