Secure Information Flow for Java – A Dynamic Logic Approach

@TechReport{BeckertBrunsKlebanovEtAl13a,
  author	= {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov
		   and Christoph Scheben and Peter H. Schmitt and Mattias
		   Ulbrich},
  title		= {Secure Information Flow for {Java} -- A Dynamic Logic
		   Approach},
  year		= 2013,
  month		= oct,
  institution	= {Department of Informatics, Karlsruhe Institute of
		   Technology},
  number	= {2013-10},
  language	= {english},
  series	= {Karlsruhe Reports in Informatics},
  url		= {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000036786},
  issn		= {2190-4782},
  license	= {http://creativecommons.org/licenses/by-nc-nd/3.0/},
  annote	= {sequence theory in Appendix A}
}