SPLIT - Security Protocol Interaction Testen in der Praxis

Projekt: Foschungsprojekt

Beschreibung

Aktuelle Implementierungen von Sicherheitsprotokollen zur Kommunikation weisen oft Fehler auf, die in weiterer Folge zu Sicherheitslücken führen. Im Projekt SPLIT verwenden wir modellbasierte und kombinatorische Methoden zur Testfallgenerierung um Fehler in Implementierungen von Sicherheitsprotokollen zu finden und somit die zur verfügungstehende Informationsinfrastruktur sicherer zu machen.
StatusAbschlussdatum
Tatsächlicher Beginn/ -es Ende1/02/1631/07/18