%0 Journal Article %1 journals/logcom/CollinsonMP17 %A Collinson, Matthew %A McDonald, Kevin %A Pym, David J. %D 2017 %J J. Log. Comput. %K %N 1 %P 41-80 %T Layered graph logic as an assertion language for access control policy models. %U http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#CollinsonMP17 %V 27

@article{journals/logcom/CollinsonMP17, added-at = {2023-12-13T02:32:30.000+0100}, author = {Collinson, Matthew and McDonald, Kevin and Pym, David J.}, biburl = {https://www.bibsonomy.org/bibtex/2c31815e54c7c6db38e30023de0f66a02/admin}, ee = {http://dx.doi.org/10.1093/logcom/exv020}, interhash = {80804949aa707b0640208442cf476995}, intrahash = {c31815e54c7c6db38e30023de0f66a02}, journal = {J. Log. Comput.}, keywords = {}, number = 1, pages = {41-80}, timestamp = {2023-12-13T02:32:30.000+0100}, title = {Layered graph logic as an assertion language for access control policy models.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#CollinsonMP17}, volume = 27, year = 2017 }