{"id":112431,"date":"2023-12-22T21:10:32","date_gmt":"2023-12-22T19:10:33","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh"},"modified":"2023-12-22T21:10:32","modified_gmt":"2023-12-22T19:10:33","slug":"mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","title":{"rendered":"Mayhem \u2014 attacco che distorce i bit in memoria per bypassare l'autenticazione in sudo e OpenSSH","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
I ricercatori del Worcester Polytechnic Institute (USA) hanno presentato un nuovo tipo di attacco Mayhem che utilizza il metodo di distorsione dei bit in memoria dinamica Rowhammer per modificare i valori delle variabili nello stack, utilizzati nel programma come flag per decidere sul successo dell'autenticazione e sul superamento dei controlli di sicurezza. Sono stati dimostrati esempi pratici di applicazione dell'attacco per bypassare l'autenticazione in SUDO, OpenSSH e MySQL, nonch\u00e9 per modificare i risultati dei controlli legati alla sicurezza nella libreria OpenSSL. <\/p>\n
L'attacco pu\u00f2 essere applicato a applicazioni in cui le verifiche utilizzano il confronto delle differenze di valori da zero. Esempio di codice vulnerabile: int auth = 0; ... \/\/ codice di verifica che modifica il valore di auth in caso di successo dell'autenticazione if(auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
Nel contesto di questo esempio, per un attacco riuscito \u00e8 sufficiente deviare qualsiasi bit in memoria associato alla variabile 32 bit auth nello stack. Deviando qualsiasi bit della variabile, il valore non sar\u00e0 pi\u00f9 zero e l'istruzione condizionale determiner\u00e0 il superamento riuscito dell'autenticazione. Questi schemi di verifica sono abbastanza comuni nelle applicazioni e si trovano, ad esempio, in SUDO, OpenSSH, MySQL e OpenSSL.
<\/center> <\/p>\n
L'attacco pu\u00f2 essere applicato anche a confronti del tipo 'if(auth == 1)', ma in questo caso la sua esecuzione \u00e8 complicata, poich\u00e9 \u00e8 necessario falsare non un qualsiasi bit dei 32, ma l'ultimo bit. Il metodo pu\u00f2 anche essere utilizzato per influenzare i valori delle variabili nei registri della CPU, poich\u00e9 il contenuto dei registri pu\u00f2 essere temporaneamente scaricato nello stack durante il cambio di contesto, la chiamata di funzioni o l'attivazione di un gestore di segnali. Nel lasso di tempo in cui i valori dei registri si trovano in memoria, in questa memoria \u00e8 possibile apportare distorsioni e nel registro verr\u00e0 ripristinato un valore modificato.
<\/center> <\/p>\n
Per la distorsione dei bit viene utilizzata una delle varianti dell'attacco di classe RowHammer. Poich\u00e9 la memoria DRAM \u00e8 un array bidimensionale di celle, ognuna delle quali \u00e8 composta da un condensatore e da un transistor, l'esecuzione di letture continue della stessa area di memoria provoca fluttuazioni di tensione e anomalie che causano una piccola perdita di carica nelle celle vicine. Se l'intensit\u00e0 della lettura \u00e8 elevata, una cella adiacente pu\u00f2 perdere una quantit\u00e0 di carica sufficientemente grande e il successivo ciclo di rigenerazione non riuscir\u00e0 a ripristinarne lo stato originale, portando a una modifica del valore dei dati memorizzati nella cella. Per proteggersi da RowHammer, i produttori di chip hanno aggiunto il meccanismo TRR (Target Row Refresh), che blocca la distorsione delle celle in alcuni casi, ma non protegge contro tutte le possibili varianti di attacco. <\/p>\n
Per proteggersi dall'attacco Mayhem, \u00e8 consigliabile non utilizzare il confronto delle differenze da zero o delle corrispondenze con uno, ma controllare le corrispondenze utilizzando un valore casuale seed con ottetti non nulli. In questo caso, per impostare il valore desiderato della variabile, \u00e8 necessario falsare esattamente un numero significativo di bit, il che \u00e8 irrealistico, a differenza della distorsione di un singolo bit. Esempio di codice non vulnerabile: int auth = 0xbe406d1a; ... \/\/ codice di verifica che imposta il valore di auth a 0x23ab8701 in caso di successo dell'autenticazione if(auth == 0x23ab8701) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
Il metodo di protezione specificato \u00e8 gi\u00e0 stato applicato dagli sviluppatori di sudo ed \u00e8 stato incluso nella versione 1.9.15 come correzione della vulnerabilit\u00e0 CVE-2023-42465. Un prototipo di codice per effettuare l'attacco \u00e8 previsto essere pubblicato dopo che saranno state apportate correzioni nei principali progetti vulnerabili. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Mayhem](\"\/wp-content\/uploads\/2023\/12\/ef5dd9463837514f055f9f2610652fb9.png\")
<\/center> <\/p>\n![\"Mayhem](\"\/wp-content\/uploads\/2023\/12\/089c4ea98448b638ba630e55821fc32f.png\")
<\/center> <\/p>\n