KIT | KIT-Bibliothek | Impressum | Datenschutz

Low-deterministic security for low-nondeterministic programs

Bischof, Simon; Breitner, Joachim; Graf, Jürgen; Hecker, Martin; Mohr, Martin; Snelting, Gregor



Originalveröffentlichung
DOI: 10.3233/JCS-17984
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Institut für Prozessdatenverarbeitung und Elektronik (IPE)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2018
Sprache Englisch
Identifikator ISSN: 0926-227X, 1875-8924
KITopen-ID: 1000084886
HGF-Programm 37.01.03 (POF III, LK 01)
Erschienen in Journal of computer security
Band 26
Seiten 335–366
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page