KIT | KIT-Bibliothek | Impressum | Datenschutz

Regression Verification for Java Using a Secure Information Flow Calculus

Beckert, Bernhard ORCID iD icon 1; Klebanov, Vladimir 1; Ulbrich, Mattias ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1145/2786536.2786544
Scopus
Zitationen: 5
Dimensions
Zitationen: 6
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 Association for Computing Machinery (ACM)
Seiten Art.Nr.: a6
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page