@InProceedings{ lux.mantel:who, author = {Alexander Lux and Heiko Mantel}, title = {Who Can Declassify?}, booktitle = {Pre-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008)}, year = 2008, pages = {35--49}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2008/0_2008FASTLuxMantel_forWebsite.pdf} }