%0 Conference Paper %1 conf/csfw/BartheCR08 %A Barthe, Gilles %A Cavadini, Salvador %A Rezk, Tamara %B CSF %D 2008 %I IEEE Computer Society %K dblp %P 83-97 %T Tractable Enforcement of Declassification Policies. %U http://dblp.uni-trier.de/db/conf/csfw/csf2008.html#BartheCR08 %@ 978-0-7695-3182-3

@inproceedings{conf/csfw/BartheCR08, added-at = {2016-05-13T00:00:00.000+0200}, author = {Barthe, Gilles and Cavadini, Salvador and Rezk, Tamara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/285f044202b1337e5edfa7ee97d95bc42/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.11}, interhash = {928d33ebc8ec40fe32aff7ebd3321e65}, intrahash = {85f044202b1337e5edfa7ee97d95bc42}, isbn = {978-0-7695-3182-3}, keywords = {dblp}, pages = {83-97}, publisher = {IEEE Computer Society}, timestamp = {2016-05-14T09:33:52.000+0200}, title = {Tractable Enforcement of Declassification Policies.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2008.html#BartheCR08}, year = 2008 }