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