{"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\/pl\/blog\/news\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","title":{"rendered":"Mayhem \u2014 atak, kt\u00f3ry zniekszta\u0142ca bity w pami\u0119ci w celu obej\u015bcia uwierzytelniania w sudo oraz OpenSSH","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Badacze z Worcester Polytechnic Institute (USA) zaprezentowali nowy typ ataku Mayhem, wykorzystuj\u0105cego metod\u0119 zniekszta\u0142cania bit\u00f3w w dynamicznej pami\u0119ci operacyjnej Rowhammer, aby zmieni\u0107 warto\u015bci zmiennych na stosie, kt\u00f3re s\u0105 u\u017cywane w programie jako flagi do podejmowania decyzji o sukcesie uwierzytelnienia i przechodzeniu test\u00f3w bezpiecze\u0144stwa. Praktyczne przyk\u0142ady zastosowania ataku pokazano w celu obej\u015bcia uwierzytelnienia w SUDO, OpenSSH i MySQL, a tak\u017ce do zmiany wynik\u00f3w test\u00f3w zwi\u0105zanych z bezpiecze\u0144stwem w bibliotece OpenSSL. <\/p>\n
Atak mo\u017ce by\u0107 zastosowana do aplikacji, w kt\u00f3rych podczas sprawdzania u\u017cywa si\u0119 por\u00f3wnania r\u00f3\u017cnic warto\u015bci od zera. Przyk\u0142ad podatnego kodu: int auth = 0; … \/\/ kod weryfikacji, zmieniaj\u0105cy warto\u015b\u0107 auth w przypadku udanej autoryzacji if(auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
W kontek\u015bcie tego przyk\u0142adu, aby atak by\u0142 udany, wystarczy doprowadzi\u0107 do zniekszta\u0142cenia dowolnego bitu w pami\u0119ci, kt\u00f3ry dotyczy 32-bitowej zmiennej auth na stosie. Przy zniekszta\u0142ceniu dowolnego bitu w zmiennej, jej warto\u015b\u0107 ju\u017c nie b\u0119dzie r\u00f3wna zero, a operator warunkowy zdefiniuje udane przej\u015bcie uwierzytelnienia. Podobne schematy weryfikacji s\u0105 do\u015b\u0107 powszechne w aplikacjach i wyst\u0119puj\u0105 na przyk\u0142ad w SUDO, OpenSSH, MySQL i OpenSSL.
<\/center> <\/p>\n
Atak mo\u017ce by\u0107 r\u00f3wnie\u017c zastosowany na por\u00f3wnania typu «if(auth == 1)», jednak w tym przypadku jego przeprowadzenie jest utrudnione, poniewa\u017c trzeba zniekszta\u0142ci\u0107 nie dowolny bit z 32, ale ostatni bit. Metoda ta mo\u017ce by\u0107 tak\u017ce u\u017cywana do wp\u0142ywania na warto\u015bci zmiennych w rejestrach procesora, poniewa\u017c zawarto\u015b\u0107 rejestr\u00f3w mo\u017ce by\u0107 na chwil\u0119 zrzucana na stos przy zmianie kontekstu, wywo\u0142aniu funkcji lub aktywacji obs\u0142ugi sygna\u0142u. W okresie, w kt\u00f3rym warto\u015bci rejestr\u00f3w znajduj\u0105 si\u0119 w pami\u0119ci, mo\u017cna wprowadza\u0107 zniekszta\u0142cenia do tej pami\u0119ci, a do rejestru zostanie przywr\u00f3cona zmieniona warto\u015b\u0107.
<\/center> <\/p>\n
Do zniekszta\u0142cenia bit\u00f3w stosuje si\u0119 jedn\u0105 z modyfikacji ataku klasy RowHammer. Poniewa\u017c pami\u0119\u0107 DRAM jest dwuwymiarow\u0105 tablic\u0105 kom\u00f3rek, z kt\u00f3rych ka\u017cda sk\u0142ada si\u0119 z kondensatora i tranzystora, wykonywanie ci\u0105g\u0142ego odczytu tej samej cz\u0119\u015bci pami\u0119ci prowadzi do waha\u0144 napi\u0119cia i anomalii, powoduj\u0105cych niewielk\u0105 utrat\u0119 \u0142adunku w s\u0105siednich kom\u00f3rkach. Je\u015bli intensywno\u015b\u0107 odczytu jest du\u017ca, s\u0105siednia kom\u00f3rka mo\u017ce straci\u0107 wystarczaj\u0105co du\u017c\u0105 ilo\u015b\u0107 \u0142adunku, a kolejny cykl regeneracji nie zd\u0105\u017cy przywr\u00f3ci\u0107 jej pierwotnego stanu, co prowadzi do zmiany warto\u015bci przechowywanych w kom\u00f3rce danych. Aby chroni\u0107 przed RowHammer, producenci chip\u00f3w dodali mechanizm TRR (Target Row Refresh), kt\u00f3ry blokuje zniekszta\u0142cenie kom\u00f3rek w szczeg\u00f3lnych przypadkach, ale nie chroni przed wszystkimi mo\u017cliwymi wariantami ataku. <\/p>\n
Aby chroni\u0107 przed atakiem Mayhem, zaleca si\u0119 u\u017cywanie w por\u00f3wnaniach nie oceny r\u00f3\u017cnic od zera lub zgodno\u015bci z jedynk\u0105, ale sprawdzanie zgodno\u015bci, u\u017cywaj\u0105c losowej warto\u015bci ziarenka z niezerowymi oktetami. W takim przypadku, aby ustawi\u0107 odpowiedni\u0105 warto\u015b\u0107 zmiennej, nale\u017cy dok\u0142adnie zniekszta\u0142ci\u0107 istotn\u0105 liczb\u0119 bit\u00f3w, co jest nierealistyczne w por\u00f3wnaniu do zniekszta\u0142cenia jednego bitu. Przyk\u0142ad kodu, kt\u00f3ry nie jest podatny na ataki: int auth = 0xbe406d1a; … \/\/ kod weryfikacji, ustalaj\u0105cy warto\u015b\u0107 auth na 0x23ab8701 w przypadku udanej autoryzacji 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