KIT | KIT-Bibliothek | Impressum | Datenschutz

Sicherheitsanalyse mit JOANA

Graf, Jürgen; Hecker, Martin; Mohr, Martin; Snelting, Gregor


Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Deutsch
Identifikator ISBN: 978-3-88579-650-3
ISSN: 1617-5468
KITopen-ID: 1000069786
HGF-Programm 46.12.03 (POF III, LK 01) Data Security
Erschienen in Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft für Informatik e. V. (GI), Bonn, Deutschland, 5. - 7. April 2016. Hrsg.: M. Meier
Verlag Gesellschaft für Informatik (GI)
Seiten 11-21
Serie Lecture Notes in Informatics: Proceedings ; P-256
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page