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.
Para outro idioma
do conteúdo fonte
arxiv.org
Principais Insights Extraídos De
by Jaco... às arxiv.org 03-12-2024
https://arxiv.org/pdf/2403.05663.pdfPerguntas Mais Profundas