Die Analyse konzentriert sich auf die Sicherheit des SCTP-Designs durch formale Methoden und Angriffssynthese. Es werden vier Angreifermodelle definiert und vierzehn einzigartige Angriffe synthetisiert. Die Wirksamkeit von Patches wird überprüft, und eine Ambiguität in den RFCs wird identifiziert.
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Jaco... klokken arxiv.org 03-12-2024
https://arxiv.org/pdf/2403.05663.pdfDypere Spørsmål