{"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 \u2014 ein Angriff, der Bits im Speicher verf\u00e4lscht, 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 Angriffstyp namens Mayhem vorgestellt, der die Rowhammer-Methode zur Verzerrung von Bits im dynamischen RAM nutzt, um Werte von Variablen im Stack zu \u00e4ndern, die im Programm als Flags zur Entscheidung \u00fcber die erfolgreiche Authentifizierung und den Bestehen von Sicherheitspr\u00fcfungen verwendet werden. Praktische Anwendungsbeispiele des Angriffs wurden zur Umgehung der Authentifizierung in SUDO, OpenSSH und MySQL sowie zur Manipulation des Ergebnisses sicherheitsrelevanter Pr\u00fcfungen in der OpenSSL-Bibliothek demonstriert. <\/p>\n
Ein Angriff kann auf Anwendungen angewendet werden, bei denen bei Pr\u00fcfungen der Unterschied von Werten zu null verglichen wird. Beispiel f\u00fcr verwundbaren Code: int auth = 0; … \/\/ Pr\u00fcfcode, der den Wert von auth im Falle einer erfolgreichen Authentifizierung \u00e4ndert if(auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
Im Kontext dieses Beispiels gen\u00fcgt es f\u00fcr einen erfolgreichen Angriff, irgendein Bit im Speicher zu verzerren, das einem 32-Bit-Wert auth im Stack zugeordnet ist. Durch die Verzerrung eines beliebigen Bits in der Variablen wird der Wert nicht mehr null und der bedingte Operator bestimmt das erfolgreiche Bestehen der Authentifizierung. Solche Pr\u00fcfungsbedingungen sind in Anwendungen weit verbreitet und kommen beispielsweise in SUDO, OpenSSH, MySQL und OpenSSL vor.
<\/center> <\/p>\n
Ein Angriff kann auch auf Vergleiche der Art «if(auth == 1)» angewendet werden, aber in diesem Fall wird die Durchf\u00fchrung komplizierter, da nicht einfach irgendein Bit von 32, sondern das letzte Bit verzerrt werden muss. Die Methode kann auch verwendet werden, um Werte von Variablen in den Prozessorregistern zu beeinflussen, da der Inhalt der Register vor\u00fcbergehend im Stack abgelegt werden kann, wenn der Kontext gewechselt, Funktionen aufgerufen oder Signalhandler ausgef\u00fchrt werden. In dem Zeitraum, in dem sich die Registerwerte im Speicher befinden, kann dieser Speicher verzerrt werden, und im Register wird der ver\u00e4nderte Wert wiederhergestellt.
<\/center> <\/p>\n
F\u00fcr die Verzerrung von Bits wird eine der Modifikationen des RowHammer-Angriffs verwendet. Da DRAM-Speicher ein zweidimensionales Array von Zellen darstellt, die aus einem Kondensator und einem Transistor bestehen, f\u00fchrt das kontinuierliche Lesen desselben Speicherbereichs zu Spannungsschwankungen und Anomalien, die zu einem leichten Verlust von Ladung in benachbarten Zellen f\u00fchren. Wenn die Leselast hoch ist, kann die benachbarte Zelle eine ausreichende Menge an Ladung verlieren, sodass der n\u00e4chste Regenerationszyklus nicht ausreicht, um ihren urspr\u00fcnglichen Zustand wiederherzustellen, was zu einer \u00c4nderung 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 die Verzerrung von Zellen blockiert, jedoch nicht vor allf\u00e4lligen Angriffsvarianten sch\u00fctzt. <\/p>\n
Zum Schutz gegen den Mayhem-Angriff wird empfohlen, in Vergleichen nicht die Bewertung der Unterschiede zu null oder die \u00dcbereinstimmung mit eins zu verwenden, sondern die \u00dcberpr\u00fcfung von \u00dcbereinstimmungen mit einem zuf\u00e4lligen Initialisierungswert mit nicht nullen Oktetten. In diesem Fall ist es notwendig, eine bestimmte Anzahl von Bits genau zu verzerren, was unrealistisch ist, im Gegensatz zur Verzerrung eines einzelnen Bits. Beispiel f\u00fcr nicht angreifbaren Code: int auth = 0xbe406d1a; … \/\/ Pr\u00fcfcode, der den Wert von auth im Falle einer erfolgreichen Authentifizierung auf 0x23ab8701 setzt 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