KIT | KIT-Bibliothek | Impressum | Datenschutz

Checking probabilistic noninterference using JOANA

Snelting, G.; Giffhorn, D.; Graf, J.; Hammer, C.; Hecker, M.; Mohr, M.; Wasserab, D.


Originalveröffentlichung
DOI: 10.1515/itit-2014-1051
Dimensions
Zitationen: 16
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2014
Sprache Englisch
Identifikator ISSN: 0013-5720, 0179-9738, 0944-2774, 1611-2776, 2196-7032
KITopen-ID: 1000046108
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Information technology
Verlag De Gruyter
Band 56
Heft 6
Seiten 280-287
Projektinformation KASTEL I (BMBF, EU 6. RP, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page