KIT | KIT-Bibliothek | Impressum

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 Buchaufsatz
Jahr 2016
Sprache Deutsch
Identifikator ISBN: 978-3-88579-650-3
ISSN: 1617-5468
KITopen ID: 1000069786
HGF-Programm 46.12.03; LK 01
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) : 5. - 7. April 2016 in Bonn. Hrsg.: Michael Meier, Delphine Reinhardt, Steffen Wendzel
Verlag Gesellschaft für Informatik e.V., Bonn
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