@article{becker-nanz:2010:logic, author = {Becker, Moritz Y. and Nanz, Sebastian}, title = {A Logic for State-Modifying Authorization Policies}, journal = {ACM Transactions on Information and System Security}, year = {2010}, volume = {13}, pages = {1--28}, number = {3}, urltopdf = {http://doi.acm.org/10.1145/1805974.1805976}, publisher = {ACM} }