%0 Conference Paper %1 conf/tacas/GofmanLSZYS09 %A Gofman, Mikhail I. %A Luo, Ruiqi %A Solomon, Ayla C. %A Zhang, Yingbin %A Yang, Ping %A Stoller, Scott D. %B TACAS %D 2009 %E Kowalewski, Stefan %E Philippou, Anna %I Springer %K dblp %P 46-49 %T RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#GofmanLSZYS09 %V 5505 %@ 978-3-642-00767-5

@inproceedings{conf/tacas/GofmanLSZYS09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Gofman, Mikhail I. and Luo, Ruiqi and Solomon, Ayla C. and Zhang, Yingbin and Yang, Ping and Stoller, Scott D.}, biburl = {https://www.bibsonomy.org/bibtex/21c18e2a70320c9b81651b0bafdb8d654/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2009}, editor = {Kowalewski, Stefan and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-642-00768-2_4}, interhash = {2a38d3bee1ea6a3b39959ec968233328}, intrahash = {1c18e2a70320c9b81651b0bafdb8d654}, isbn = {978-3-642-00767-5}, keywords = {dblp}, pages = {46-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:06.000+0200}, title = {RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#GofmanLSZYS09}, volume = 5505, year = 2009 }