Regression Verification for Java Using a Secure Information Flow Calculus
Beckert, Bernhard
1; Klebanov, Vladimir 1; Ulbrich, Mattias
1
1 Karlsruher Institut für Technologie (KIT)
1; Klebanov, Vladimir 1; Ulbrich, Mattias
11 Karlsruher Institut für Technologie (KIT)
| 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 |