KIT | KIT-Bibliothek | Impressum | Datenschutz

A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs

Küsters, Ralf; Truderung, Tomasz; Beckert, Bernhard; Bruns, Daniel; Graf, Jürgen; Scheben, Christoph

Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator KITopen-ID: 1000034595
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Grande Region Security and Reliability Day 2013. April 12, 2013, University of Luxembourg. Ed.: Ch. Hammer
Verlag Luxembourg
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Bemerkung zur Veröffentlichung Extended Abstract
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page