Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Secure Information Flow for Java – A Dynamic Logic Approach: Extended Version

Technical Report
Author(s):Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Institution:Department of Informatics, Karlsruhe Institute of Technology
Series:Karlsruhe Reports in Informatics
Number:2013-10
Year:2013
URL:https://publikationen.bibliothek.kit.edu/1000036786

BibTeX

@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: Extended Version},
  year		= 2013,
  month		= oct,
  institution	= {Department of Informatics, Karlsruhe Institute of
		   Technology},
  number	= {2013-10},
  language	= {english},
  series	= {Karlsruhe Reports in Informatics},
  url		= {https://publikationen.bibliothek.kit.edu/1000036786},
  issn		= {2190-4782},
  license	= {http://creativecommons.org/licenses/by-nc-nd/3.0/},
  annote	= {sequence theory in Appendix A}
}