%0 Conference Paper %1 conf/esorics/BauerGR07 %A Bauer, Lujo %A Garriss, Scott %A Reiter, Michael K. %B ESORICS %D 2007 %E Biskup, Joachim %E López, Javier %I Springer %K dblp %P 19-37 %T Efficient Proving for Practical Distributed Access-Control Systems. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2007.html#BauerGR07 %V 4734 %@ 978-3-540-74834-2

@inproceedings{conf/esorics/BauerGR07, added-at = {2019-08-20T00:00:00.000+0200}, author = {Bauer, Lujo and Garriss, Scott and Reiter, Michael K.}, biburl = {https://www.bibsonomy.org/bibtex/268ce7052f0837c9eb25910fdb0c1b905/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2007}, editor = {Biskup, Joachim and López, Javier}, ee = {https://doi.org/10.1007/978-3-540-74835-9_3}, interhash = {cb31470c6e2e6736b802cb1e3e4af304}, intrahash = {68ce7052f0837c9eb25910fdb0c1b905}, isbn = {978-3-540-74834-2}, keywords = {dblp}, pages = {19-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-30T11:39:57.000+0200}, title = {Efficient Proving for Practical Distributed Access-Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2007.html#BauerGR07}, volume = 4734, year = 2007 }