@InProceedings{Basin_etal:enforceability,
  author =       {David Basin and Vincent Jug{\'e} and Felix Klaedtke and Eugen Z\u{a}linescu},
  title =        {Enforceable Security Policies Revisited},
  booktitle =    {Proceedings of the 1st Conference on
                  Principles of Security and Trust (POST)},
  pages =        {309--328},
  year =         {2012},
  volume =       {7215},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}