KIT | KIT-Bibliothek | Impressum | Datenschutz

Regression Verification for Java Using a Secure Information Flow Calculus

Beckert, Bernhard; Klebanov, Vladimir; Ulbrich, Mattias



Originalveröffentlichung
DOI: 10.1145/2786536.2786544
Scopus
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4503-3656-7
KITopen-ID: 1000052965
HGF-Programm 46.12.03 (POF III, LK 01)
Data Security
Erschienen in Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP '15) , Prague, Czech Republic, July 7th, 2015
Verlag ACM, New York (NY)
Seiten Art.Nr.: a6
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page