MFSA0C-PI: Model-based Formal Security Analysis of Crypto-Protocol Implementations

Im Rahmen einer Kooperation mit dem Lehrstuhl Broy zu den Themen Programmverstehen und IT-Sicherheitsanforderungen wurden im Kontext von modellbasierter Entwicklung von Kryptoprotokoll-Implementierungen die Voraussetzungen geschaffen, deren Implementierungen gegenüber den Modellen zu verifizieren.