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: 3
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Prozessdatenverarbeitung und Elektronik (IPE)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2018
Sprache Englisch
Identifikator ISSN: 0926-227X, 1875-8924
KITopen-ID: 1000084886
HGF-Programm 37.01.03 (POF III, LK 01) Batteries in Application
Erschienen in Journal of computer security
Verlag IOS Press
Band 26
Seiten 335–366
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page