Prova di concetto per CVE 2023-52709 "Lo stack Bluetooth TI non riesce a generare un indirizzo privato casuale risolvibile (RPA) portando a un DoS per dispositivi già accoppiati"

CVE 2023-52709

Riepilogo

Quando si esegue il test case Defensics #SMP legacy 1001 con modalità loop sul DUT configurato con indirizzo privato risolvibile, dopo un po' il dispositivo finirà per generare un indirizzo privato casuale non risolvibile causando un Denial of Service per i dispositivi già accoppiati.

La potenziale vulnerabilità può avere impatto sui dispositivi Bluetooth® Low Energy che eseguono le versioni SDK interessate e la funzione privacy Bluetooth abilitata con indirizzo privato risolvibile.

Gli script in questo repository (cve-2023-52709.py) simulano la sequenza di attacco del test case Defensics #1001 e #3

Funzioni importanti

send_pairing_request: Invia una richiesta di pairing predefinita all'indirizzo MAC specificato.

send_pairing_confirm: Invia un messaggio di conferma pairing predefinito all'indirizzo MAC specificato.

send_pairing_random: Invia un messaggio casuale di pairing predefinito all'indirizzo MAC specificato.

send_le_start_encryption: Invia il comando "LE Start Encryption" all'indirizzo MAC specificato utilizzando la chiave a lungo termine fornita.

Esempio

sudo python3 cve-2023-52709.py

Backgorund per contesto

Specifica Bluetooth Core 5.3 Sezione 4.7 ELENCO DI RISOLUZIONE

...Se il Link Layer sta usando l'Elenco di Risoluzione e il dispositivo peer è stato risolto ma la crittografia fallisce, allora gli attuali Indirizzi Privati Risolvibili devono essere immediatamente scartati e nuovi Indirizzi Privati Risolvibili devono essere generati...

Suggerimento: Per far funzionare il DoS secondo CVE 2023-52709, regola il timing delle funzioni sopra menzionate e il loop. Poi, mentre sei connesso al DUT, esegui cve-2023-52709.py.