@MastersThesis{ perner:controlled, author = {Matthias Perner}, title = {Controlled Declassification under Semantics with Schedulers}, school = {TU Darmstadt}, type = {Master Thesis}, year = 2011, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/Masterthesis_Perner_2011.pdf} }