A Modal Deconstruction of Access Control Logics

@inproceedings{citeulike:2693572, author = {Garg, Deepak and Abadi, Martin }, booktitle = {Software Science and Computation Structures (FoSSaCS 2008)}, citeulike-article-id = {2693572}, journal = {In proceedings of the 11th International Conference on Foundations of}, keywords = {access-control, authorization, modal-logic, theory}, month = {April}, posted-at = {2008-04-20 21:12:54}, priority = {0}, publisher = {Springer Verlag}, title = {A Modal Deconstruction of Access Control Logics}, url = {http://www.cs.cmu.edu/\~{}dg/publications.html}, year = {2008} }

TY - CONF ID - citeulike:2693572 L3 - citeulike-article-id:2693572 TI - A Modal Deconstruction of Access Control Logics T2 - Software Science and Computation Structures (FoSSaCS 2008) JF - In proceedings of the 11th International Conference on Foundations of PB - Springer Verlag KW - access-control KW - authorization KW - modal-logic KW - theory AU - Garg, Deepak AU - Abadi, Martin PY - 2008/04// UR - http://www.cs.cmu.edu/~dg/publications.html ER -