@InProceedings{ lux.ea:who:2009, author = {Alexander Lux and Heiko Mantel}, booktitle = {Post-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008)}, editor = {P. Degano and J. Guttman and F. Martinelli}, pages = {35--49}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/2008FAST-LuxMantel-web-postproceedings.pdf}, publisher = {Springer}, series = {LNCS}, title = {Who Can Declassify?}, volume = 5491, year = 2009 }