Eine formale Analyse von SCTP: Angriffssynthese und Patch-Verifizierung

SCTP-Sicherheitsanalyse durch formale Methoden und Angriffssynthese.