%0 Journal Article %1 journals/afp/GreweLMS14 %A Grewe, Sylvia %A Lux, Alexander %A Mantel, Heiko %A Sauer, Jens %D 2014 %J Archive of Formal Proofs %K dblp %T A Formalization of Declassification with WHAT-and-WHERE-Security. %U http://dblp.uni-trier.de/db/journals/afp/afp2014.html#GreweLMS14 %V 2014

@article{journals/afp/GreweLMS14, added-at = {2019-01-07T00:00:00.000+0100}, author = {Grewe, Sylvia and Lux, Alexander and Mantel, Heiko and Sauer, Jens}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/237865b2aa62cd7d701609dc13457d30c/dblp}, ee = {https://www.isa-afp.org/entries/WHATandWHERE_Security.shtml}, interhash = {0be4fd8864ad3a8bd034cf1a49d7767d}, intrahash = {37865b2aa62cd7d701609dc13457d30c}, journal = {Archive of Formal Proofs}, keywords = {dblp}, timestamp = {2019-09-27T11:28:54.000+0200}, title = {A Formalization of Declassification with WHAT-and-WHERE-Security.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2014.html#GreweLMS14}, volume = 2014, year = 2014 }