{"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\/de\/blog\/news\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","title":{"rendered":"Mayhem \u2013 ein Angriff, der Bits im Speicher ver\u00e4ndert, um die Authentifizierung in sudo und OpenSSH zu umgehen.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Forscher des Worcester Polytechnic Institute (USA) haben einen neuen Typ von Angriff namens Mayhem vorgestellt, der die Rowhammer-Methode zur Verzerrung von Bits im dynamischen Arbeitsspeicher nutzt, um Werte von Variablen im Stack zu ver\u00e4ndern, die in Programmen als Flags f\u00fcr die Entscheidung \u00fcber den Erfolg der Authentifizierung und Sicherheits\u00fcberpr\u00fcfungen verwendet werden. Praktische Beispiele f\u00fcr den Einsatz des Angriffs wurden vorgestellt, um die Authentifizierung in SUDO, OpenSSH und MySQL zu umgehen sowie um die Ergebnisse von sicherheitsrelevanten \u00dcberpr\u00fcfungen in der OpenSSL-Bibliothek zu manipulieren. <\/p>\n
Ein Angriff kann auf Anwendungen angewendet werden, in denen bei \u00dcberpr\u00fcfungen Unterschiede der Werte von Null verglichen werden. Beispiel f\u00fcr verwundbaren Code: int auth = 0; \u2026 \/\/ \u00dcberpr\u00fcfungscode, der den Wert von auth bei erfolgreicher Authentifizierung \u00e4ndert if (auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
In diesem Beispiel gen\u00fcgt es, einen einzelnen Bit in dem 32-Bit-Wert der auth-Variable im Stack zu verf\u00e4lschen, um eine erfolgreiche Attacke zu erreichen. Bei der Ver\u00e4nderung eines beliebigen Bits wird der Wert bereits ungleich Null und die Bedingung im Operator f\u00fchrt zu einer erfolgreichen Authentifizierung. Solche Pr\u00fcfungsmechanismen sind in Anwendungen weit verbreitet und finden sich zum Beispiel in SUDO, OpenSSH, MySQL und OpenSSL.
<\/center> <\/p>\n
Ein Angriff kann auch bei Vergleichen wie \u201eif(auth == 1)\u201c angewendet werden, aber in diesem Fall ist die Durchf\u00fchrung komplizierter, da nicht irgendein Bit aus 32, sondern das letzte Bit verzerrt werden muss. Diese Methode kann auch verwendet werden, um Werte von Variablen in Prozessorregistern zu beeinflussen, da der Inhalt der Register vor\u00fcbergehend auf den Stack verschoben werden kann, wenn der Kontextwechsel, Funktionsaufrufe oder Signalhandler ausgel\u00f6st werden. In der Zeitspanne, w\u00e4hrend sich die Registerwerte im Speicher befinden, k\u00f6nnen dort Verzerrungen vorgenommen werden, und das ver\u00e4nderte Wert wird ins Register zur\u00fcckgeschrieben.
<\/center> <\/p>\n
Zur Verzerrung von Bits wird eine Modifikation des RowHammer-Angriffs eingesetzt. Da DRAM-Speicher aus einem zweidimensionalen Array von Zellen besteht, die jeweils aus einem Kondensator und einem Transistor bestehen, f\u00fchrt das kontinuierliche Lesen desselben Speicherbereichs zu Spannungsschwankungen und Anomalien, die einen geringen Verlust an Ladung in benachbarten Zellen verursachen. Bei intensiven Lesevorg\u00e4ngen kann eine benachbarte Zelle genug Ladung verlieren, sodass der n\u00e4chste Regenerationszyklus nicht in der Lage ist, ihren urspr\u00fcnglichen Zustand wiederherzustellen, was zu einer Ver\u00e4nderung der in der Zelle gespeicherten Daten f\u00fchrt. Um sich vor RowHammer zu sch\u00fctzen, haben Chip-Hersteller den TRR-Mechanismus (Target Row Refresh) hinzugef\u00fcgt, der in bestimmten F\u00e4llen das Verzerren von Zellen verhindert, jedoch nicht gegen alle m\u00f6glichen Angriffsvarianten sch\u00fctzt. <\/p>\n
Zum Schutz vor einem Mayhem-Angriff wird empfohlen, in Vergleichen nicht die Abweichung von Null oder die \u00dcbereinstimmung mit Eins zu bewerten, sondern \u00dcbereinstimmungen unter Verwendung eines zuf\u00e4lligen Startwerts mit nicht-null Bytes zu \u00fcberpr\u00fcfen. In diesem Fall muss zum Setzen des erforderlichen Wertes der Variablen eine genaue Verzerrung einer signifikanten Anzahl von Bits erfolgen, was unrealistisch ist, im Gegensatz zur Verzerrung eines einzelnen Bits. Beispiel eines angreifersicheren Codes: int auth = 0xbe406d1a; \u2026 \/\/ \u00dcberpr\u00fcfungscode, der den Wert auth auf 0x23ab8701 setzt, falls die Authentifizierung erfolgreich ist 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