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.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Jaco... lúc arxiv.org 03-12-2024
https://arxiv.org/pdf/2403.05663.pdfYêu cầu sâu hơn