@InProceedings{	  mantel.ea:controlled:2004,
  address	= {Taipei, Taiwan},
  author	= {Heiko Mantel and David Sands},
  booktitle	= { 2nd ASIAN Symposium on Programming Languages and Systems,
		  APLAS 2004},
  copyright	= {Springer},
  language	= {USenglish},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Controlled Declassification based on Intransitive
		  Noninterference},
  volume	= 3302,
  year		= 2004,
  user		= {hmantel}
}