@InProceedings{ mantel.ea:controlled-declassification-based-on-intransitive-noninterference:2004, address = {Taipei, Taiwan}, author = {Heiko Mantel and David Sands}, booktitle = {Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems (APLAS)}, month = {November 4--6}, pages = {129--145}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2004/2004aplas.pdf}, ps = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2004/2004aplas.ps.zip}, publisher = {Springer}, series = {LNCS 3302}, title = {{Controlled Declassification based on Intransitive Noninterference}}, year = 2004 }