@InProceedings{	  sabelfeld.ea:static-confidentiality-enforcement-for-distributed-programs:2002,
  address	= {Madrid, Spain},
  author	= {Andrei Sabelfeld and Heiko Mantel},
  booktitle	= {Proceedings of the 9th International Static Analysis
		  Symposium (SAS)},
  month		= {September 17--20},
  pages		= {376--394},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2002/2002SAS.PDF},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2002/2002SAS.PS.zip},
  publisher	= {Springer},
  series	= {LNCS 2477},
  title		= {{Static Confidentiality Enforcement for Distributed
		  Programs}},
  year		= 2002
}