@PhDThesis{	  mantel:uniform:2003,
  author	= {Heiko Mantel},
  language	= {USenglish},
  month		= {July},
  school	= {Saarland University},
  title		= {A Uniform Framework for the Formal Specification and
		  Verification of Information Flow Security},
  year		= 2003,
  user		= {hmantel}
}