@TechReport{	  sands:controlled:2004,
  author	= {Heiko Mantel \and David Sands},
  institution	= {Department of Computer Science, Chalmers University of
		  Technology and G\"oteborg University},
  language	= {USenglish},
  month		= {November},
  number	= {2004-06},
  title		= {Controlled Declassification based on Intransitive
		  Noninterference},
  year		= 2004,
  user		= {hmantel}
}