%0 Journal Article %1 journals/tissec/HalpernW08 %A Halpern, Joseph Y. %A Weissman, Vicky %D 2008 %J ACM Trans. Inf. Syst. Secur. %K dblp %N 4 %P 21:1-21:41 %T Using First-Order Logic to Reason about Policies. %U http://dblp.uni-trier.de/db/journals/tissec/tissec11.html#HalpernW08 %V 11

@article{journals/tissec/HalpernW08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Weissman, Vicky}, biburl = {https://www.bibsonomy.org/bibtex/2458e95204e8bd6ed438152bf046c463c/dblp}, ee = {https://doi.org/10.1145/1380564.1380569}, interhash = {5ea11c57e63fea16d012e6f5bfd976aa}, intrahash = {458e95204e8bd6ed438152bf046c463c}, journal = {ACM Trans. Inf. Syst. Secur.}, keywords = {dblp}, number = 4, pages = {21:1-21:41}, timestamp = {2018-11-07T11:42:37.000+0100}, title = {Using First-Order Logic to Reason about Policies.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec11.html#HalpernW08}, volume = 11, year = 2008 }