@PhDThesis{	  th:Mantel2003,
  author	= {Heiko Mantel},
  title		= {A Uniform Framework for the Formal Specification and
		  Verification of Information Flow Security},
  school	= {Universit\"at des Saarlandes},
  year		= 2003,
  address	= {Saarbr\"ucken, Germany},
  month		= {Juli},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2003/PhD-Thesis.pdf}
}