KIT | KIT-Bibliothek | Impressum | Datenschutz
Scopus
Zitationen: 19

Using JOANA for Information Flow Control in Java Programs – A Practical Guide

Graf, Jürgen; Hecker, Martin; Mohr, Martin



Zugehörige Institution(en) am KIT Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-88579-609-1
ISSN: 1617-5468
KITopen ID: 1000069673
HGF-Programm 46.12.03; LK 01
Erschienen in Software Engineering 2013 : Workshopband (inkl. Doktorandensymposium) : Fachtagung des GI-Fachbereichs Softwaretechnik , Aachen, 26.02. - 01.03.2013. Hrsg.: S. Wagner
Verlag Ges. für Informatik, Bonn
Seiten 123–138
Serie Lecture Notes in Informatics ; P-215
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page