@InProceedings{	  lux.ea:who:2009,
  author	= {Alexander Lux and Heiko Mantel},
  booktitle	= { Proceedings of the Workshop on Formal Aspects in Security
		  and Trust, FAST 2008},
  categories	= {fmseceng:securityanalysis, fmseceng:complete, rscp:prior},
  editor	= {P. Degano and J. Guttman and F. Martinelli},
  language	= {USenglish},
  pages		= {35--49},
  pdf		= {papers/2009/2008FAST-LuxMantel-web-postproceedings.pdf},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Who Can Declassify?},
  volume	= 5491,
  year		= 2009,
  user		= {seg}
}