%0 Conference Paper %1 conf/iri/HuK16 %A Hu, Vincent C. %A Kuhn, D. Richard %B IRI %D 2016 %I IEEE Computer Society %K dblp %P 315-323 %T General Methods for Access Control Policy Verification (Application Paper). %U http://dblp.uni-trier.de/db/conf/iri/iri2016.html#HuK16 %@ 978-1-5090-3207-5

@inproceedings{conf/iri/HuK16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hu, Vincent C. and Kuhn, D. Richard}, biburl = {https://www.bibsonomy.org/bibtex/2e47ca71be1c3d42b163248f031ba94de/dblp}, booktitle = {IRI}, crossref = {conf/iri/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/IRI.2016.49}, interhash = {60bc88782a94fd01d660d2a561c09f56}, intrahash = {e47ca71be1c3d42b163248f031ba94de}, isbn = {978-1-5090-3207-5}, keywords = {dblp}, pages = {315-323}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:22:35.000+0200}, title = {General Methods for Access Control Policy Verification (Application Paper).}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2016.html#HuK16}, year = 2016 }