@article{DBLP:journals/tissec/BasinJKZ13,
  author    = {David A. Basin and
               Vincent Jug{\'e} and
               Felix Klaedtke and
               Eugen Zalinescu},
  title     = {Enforceable Security Policies Revisited},
  journal   = {ACM Trans. Inf. Syst. Secur.},
  volume    = {16},
  number    = {1},
  year      = {2013},
  pages     = {3},
  Doi        = {http://doi.acm.org/10.1145/2487222.2487225},
 }