%0 Conference Paper %1 conf/sp/BauerGR05 %A Bauer, Lujo %A Garriss, Scott %A Reiter, Michael K. %B S&P %D 2005 %I IEEE Computer Society %K dblp %P 81-95 %T Distributed Proving in Access-Control Systems. %U http://dblp.uni-trier.de/db/conf/sp/sp2005.html#BauerGR05 %@ 0-7695-2339-0

@inproceedings{conf/sp/BauerGR05, added-at = {2023-09-21T00:00:00.000+0200}, author = {Bauer, Lujo and Garriss, Scott and Reiter, Michael K.}, biburl = {https://www.bibsonomy.org/bibtex/225d220ff07094d7b05a523cf2218191e/dblp}, booktitle = {S&P}, crossref = {conf/sp/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.2005.9}, interhash = {1600535357335f59da31b64e7c2db4cb}, intrahash = {25d220ff07094d7b05a523cf2218191e}, isbn = {0-7695-2339-0}, keywords = {dblp}, pages = {81-95}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:02.000+0200}, title = {Distributed Proving in Access-Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2005.html#BauerGR05}, year = 2005 }