Treffer: Secure Information Flow for Java - A Dynamic Logic Approach
Titel:
Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version / Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Beteiligt:
Veröffentlicht:
Karlsruhe : KIT Karlsruher Institut für Technologie, 2013
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Karlsruhe reports in informatics ; 2013,10
Anmerkungen:
Literaturverzeichnis: Seite 72-73
Schlagworte: