@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 = {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} }