{"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\/nl\/blog\/news\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","title":{"rendered":"Mayhem \u2014 een aanval die bits in het geheugen vervormt om de authenticatie in sudo en OpenSSH te omzeilen","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Onderzoekers van het Worcester Polytechnic Institute (Verenigde Staten) hebben een nieuw type aanval genaamd Mayhem gepresenteerd, die gebruik maakt van de Rowhammer-techniek om bits in dynamisch geheugen te verstoren. Dit wordt gebruikt om de waarden van variabelen op de stack te wijzigen, die in de software als vlaggen worden gebruikt voor het bepalen van de succesvolle authenticatie en het doorlopen van veiligheidscontroles. Praktische toepassingen van de aanval zijn gedemonstreerd om authenticatie in SUDO, OpenSSH en MySQL te omzeilen, en om de uitkomsten van veiligheidscontroles in de OpenSSL-bibliotheek te wijzigen. <\/p>\n
Een aanval kan worden toegepast op applicaties waarin de controles gebruikmaken van de vergelijking van afwijkingen van nul. Voorbeeld van kwetsbare code: int auth = 0; … \/\/ controlecode die de waarde van auth wijzigt bij succesvolle authenticatie if(auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
In de context van dit voorbeeld is het voldoende om een bit in het geheugen te verstoren dat betrekking heeft op de 32-bit variabele auth op de stack voor een succesvolle aanval. Het verstoren van welk bit dan ook in de variabele zorgt ervoor dat de waarde niet meer gelijk is aan nul, en de voorwaarde in de if-statement bepaalt dat de authenticatie succesvol was. Dergelijke controlepatronen komen vaak voor in applicaties en zijn bijvoorbeeld te vinden in SUDO, OpenSSH, MySQL en OpenSSL.
<\/center> <\/p>\n
De aanval kan ook worden toegepast op vergelijkingen zoals «if(auth == 1)», maar in dat geval maakt het de uitvoering moeilijker, omdat niet elk van de 32 bits moet worden vervormd, maar de laatste bit. Deze methode kan ook worden gebruikt om invloed uit te oefenen op de waarden van variabelen in de processorregisters, aangezien de inhoud van de registers tijdelijk kan worden opgeslagen op de stack tijdens contextwisselingen, functie-aanroepen of het activeren van een signaalhandler. In de tijd dat de registerwaarden in het geheugen zijn, kunnen er vervormingen worden aangebracht in dit geheugen en zal de gewijzigde waarde in het register worden hersteld.
<\/center> <\/p>\n
Om bits te vervormen, wordt een van de varianten van de RowHammer-aanval gebruikt. Aangezien DRAM-geheugen een tweedimensionale array van cellen is, die uit een condensator en een transistor bestaat, leidt het continu lezen van hetzelfde geheugengebied tot spanningsfluctuaties en anomalie\u00ebn, waardoor er een kleine hoeveelheid lading verloren gaat in aangrenzende cellen. Als de leesintensiteit hoog is, kan een aangrenzende cel genoeg lading verliezen en kan de volgende regeneratiecyclus haar oorspronkelijke staat niet herstellen, wat leidt tot een wijziging van de opgeslagen gegevens in die cel. Om RowHammer te beschermen, hebben chipfabrikanten een TRR (Target Row Refresh) mechanisme toegevoegd, dat vervorming van cellen in specifieke gevallen blokkeert, maar niet beschermt tegen alle mogelijke aanvalsvormen. <\/p>\n
Om de Mayhem-aanval te beschermen, wordt aanbevolen om in vergelijkingen niet de beoordeling van afwijkingen van nul of overeenkomsten met \u00e9\u00e9n te gebruiken, maar in plaats daarvan de overeenkomsten te controleren met behulp van een willekeurige seedwaarde met niet-nul octetten. In dit geval is het noodzakelijk om een bepaald aantal bits precies te vervormen om de juiste waarde aan de variabele toe te wijzen, wat onrealistisch is, in tegenstelling tot het vervormen van \u00e9\u00e9n bit. Voorbeeld van niet-kwetsbare code: int auth = 0xbe406d1a; … \/\/ controlecode die de waarde van auth instelt op 0x23ab8701 bij succesvolle authenticatie if(auth == 0x23ab8701) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
![\"Mayhem](\"\/wp-content\/uploads\/2023\/12\/ef5dd9463837514f055f9f2610652fb9.png\")
<\/center> <\/p>\n![\"Mayhem](\"\/wp-content\/uploads\/2023\/12\/089c4ea98448b638ba630e55821fc32f.png\")
<\/center> <\/p>\n