Referent: Professor Dr. Jörn Müller-Quade (Karlsruher Institut für Technologie, KIT)
Die Sicherheit eines Verfahrens oder Protokolls kann man nicht durch einfaches hinsehen erkennen. Schlimmer noch: Sie ist keine funktionale Eigenschaft und kann daher auch nicht durch einfaches Testen festgestellt werden. Dem begegnet die Kryptographie mit mathematischen Beweisen, mit denen nachgewiesen wird, dass ein Verfahren in einem bestimmten Modell, einer Abstraktion der Wirklichkeit, unter präzise beschriebenen Voraussetzungen eine ebenso präzise definierte Sicherheitseigenschaft erfüllt.
Unterschiede zwischen dem (vereinfachenden) Modell und der Wirklichkeit können dazu führen, dass auf die Implementierung eines als sicher bewiesenen Systems so genannte Seitenkanalangriffe möglich sind. Noch gravierender ist, dass nicht ohne weiteres nachprüfbar ist, ob ein reales technisches System auch wirklich die modellierte Sicherheitslösung umsetzt - denn was eine Maschine tatsächlich macht, ist ihr nur sehr schwer anzusehen. Ein Ansatz, diesem Problem zu begegnen, ist Auditable security (auditierbare Sicherheit) - ein Konzept, das durch den modularen Aufbau von Systemen eine Überprüfung bestimmter Eigenschaften durch eingehende visuelle Inspektion zu ermöglichen versucht.
Im Anschluss haben Sie, wie gewohnt, Gelegenheit zum fachlichen und persönlichen Austausch beim "Buffet-Networking".
Weitere Informationen und die Möglichkeit zur Anmeldung unter
https://
www.ka-it-si.de/events/aktuelle.html
