{"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\/pt\/blog\/news\/mayhem-ataka-iskazhayushhaya-bity-v-pamyati-dlya-obhoda-autentifikaczii-v-sudo-i-openssh","title":{"rendered":"Mayhem \u2014 um ataque que distorce bits na mem\u00f3ria para contornar a autentica\u00e7\u00e3o no sudo e OpenSSH","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Pesquisadores do Instituto Polit\u00e9cnico de Worcester (EUA) apresentaram um novo tipo de ataque, chamado Mayhem, que utiliza um m\u00e9todo de distor\u00e7\u00e3o de bits na mem\u00f3ria vol\u00e1til din\u00e2mica Rowhammer para alterar os valores das vari\u00e1veis na pilha, que s\u00e3o usadas no programa como flags para decidir sobre o sucesso da autentica\u00e7\u00e3o e a passagem das verifica\u00e7\u00f5es de seguran\u00e7a. Exemplos pr\u00e1ticos de aplica\u00e7\u00e3o do ataque foram demonstrados para contornar a autentica\u00e7\u00e3o em SUDO, OpenSSH e MySQL, al\u00e9m de modificar os resultados das verifica\u00e7\u00f5es de seguran\u00e7a na biblioteca OpenSSL. <\/p>\n
Um ataque pode ser aplicado a aplicativos onde as verifica\u00e7\u00f5es usam compara\u00e7\u00f5es de diferen\u00e7as em rela\u00e7\u00e3o a zero. Exemplo de c\u00f3digo vulner\u00e1vel: int auth = 0; \u2026 \/\/ c\u00f3digo de verifica\u00e7\u00e3o que altera o valor de auth em caso de autentica\u00e7\u00e3o bem-sucedida if(auth != 0) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
No contexto deste exemplo, para um ataque bem-sucedido, \u00e9 suficiente distorcer qualquer bit na mem\u00f3ria que corresponde \u00e0 vari\u00e1vel de 32 bits auth na pilha. Ao distorcer qualquer bit na vari\u00e1vel, o valor n\u00e3o ser\u00e1 mais igual a zero e o operador condicional determinar\u00e1 o sucesso da autentica\u00e7\u00e3o. Padr\u00f5es de verifica\u00e7\u00e3o semelhantes s\u00e3o bastante comuns em aplicativos e podem ser encontrados, por exemplo, em SUDO, OpenSSH, MySQL e OpenSSL.
<\/center> <\/p>\n
O ataque tamb\u00e9m pode ser aplicado em compara\u00e7\u00f5es do tipo «if(auth == 1)», mas neste caso sua execu\u00e7\u00e3o se complica, pois \u00e9 necess\u00e1rio distorcer n\u00e3o qualquer bit dos 32, mas o \u00faltimo bit. O m\u00e9todo tamb\u00e9m pode ser usado para influenciar os valores das vari\u00e1veis nos registradores do processador, j\u00e1 que o conte\u00fado dos registradores pode ser temporariamente descartado na pilha ao mudar de contexto, ao chamar fun\u00e7\u00f5es ou ao ativar manipuladores de sinais. No intervalo de tempo em que os valores dos registradores est\u00e3o na mem\u00f3ria, distor\u00e7\u00f5es podem ser introduzidas nessa mem\u00f3ria e o registrador ter\u00e1 seu valor alterado restaurado.
<\/center> <\/p>\n
Para a corrup\u00e7\u00e3o de bits, \u00e9 utilizado uma das modifica\u00e7\u00f5es do ataque da classe RowHammer. Como a mem\u00f3ria DRAM consiste em um array bidimensional de c\u00e9lulas, cada uma delas composta por um capacitor e um transistor, a leitura cont\u00ednua de uma mesma \u00e1rea de mem\u00f3ria leva a flutua\u00e7\u00f5es de tens\u00e3o e anomalias, causando uma pequena perda de carga nas c\u00e9lulas vizinhas. Se a intensidade da leitura for alta, a c\u00e9lula vizinha pode perder uma quantidade significativa de carga e o pr\u00f3ximo ciclo de regenera\u00e7\u00e3o pode n\u00e3o conseguir restaurar seu estado original, resultando na altera\u00e7\u00e3o do valor dos dados armazenados nessa c\u00e9lula. Para proteger contra RowHammer, os fabricantes de chips implementaram o mecanismo TRR (Target Row Refresh), que bloqueia a corrup\u00e7\u00e3o de c\u00e9lulas em casos espec\u00edficos, mas n\u00e3o protege contra todas as variantes poss\u00edveis do ataque. <\/p>\n
Para proteger contra o ataque Mayhem, \u00e9 recomend\u00e1vel usar, nas compara\u00e7\u00f5es, n\u00e3o a avalia\u00e7\u00e3o das diferen\u00e7as em rela\u00e7\u00e3o a zero ou a correspond\u00eancia com um, mas sim a verifica\u00e7\u00e3o de correspond\u00eancias, usando um valor aleat\u00f3rio de inicializa\u00e7\u00e3o com octetos n\u00e3o nulos. Nesse caso, para definir o valor necess\u00e1rio da vari\u00e1vel, \u00e9 necess\u00e1rio distorcer exatamente um n\u00famero significativo de bits, o que \u00e9 irrealista, ao contr\u00e1rio da distor\u00e7\u00e3o de um \u00fanico bit. Exemplo de c\u00f3digo que n\u00e3o est\u00e1 sujeito a ataques: int auth = 0xbe406d1a; \u2026 \/\/ c\u00f3digo de verifica\u00e7\u00e3o que define o valor de auth como 0x23ab8701 em caso de autentica\u00e7\u00e3o bem-sucedida if(auth == 0x23ab8701) return AUTH_SUCCESS; else return AUTH_FAILURE; <\/p>\n
O m\u00e9todo de prote\u00e7\u00e3o mencionado j\u00e1 foi implementado pelos desenvolvedores do sudo e incorporado na vers\u00e3o 1.9.15 como uma corre\u00e7\u00e3o para a vulnerabilidade CVE-2023-42465. O prot\u00f3tipo do c\u00f3digo para realizar o ataque est\u00e1 planejado para ser publicado ap\u00f3s a corre\u00e7\u00e3o dos projetos vulner\u00e1veis principais. \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