%0 Conference Paper %1 conf/mfps/Zdancewic03 %A Zdancewic, Steve %B MFPS %D 2003 %E Brookes, Stephen D. %E Panangaden, Prakash %I Elsevier %K dblp %P 263-277 %T A Type System for Robust Declassification. %U http://dblp.uni-trier.de/db/conf/mfps/mfps2003.html#Zdancewic03 %V 83

@inproceedings{conf/mfps/Zdancewic03, added-at = {2021-02-08T00:00:00.000+0100}, author = {Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/282b13bc5097bb3b51743c2ab45b192c9/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2003}, editor = {Brookes, Stephen D. and Panangaden, Prakash}, ee = {https://doi.org/10.1016/S1571-0661(03)50014-7}, interhash = {c942c38b061d7d3217be6c4bbdaa4e64}, intrahash = {82b13bc5097bb3b51743c2ab45b192c9}, keywords = {dblp}, pages = {263-277}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:12.000+0200}, title = {A Type System for Robust Declassification.}, url = {http://dblp.uni-trier.de/db/conf/mfps/mfps2003.html#Zdancewic03}, volume = 83, year = 2003 }