@InProceedings{	  lux.ea:declassification:2009,
  author	= {Alexander Lux and Heiko Mantel},
  booktitle	= {Proceedings of the 14th European Symposium on Research in
		  Computer Security (ESORICS)},
  editor	= {Michael Backes and Peng Ning},
  pages		= {69--85},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/0_2009-ESORICS-LuxMantel-Webversion.pdf},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Declassification with Explicit Reference Points},
  volume	= 5789,
  year		= 2009
}