Рубрика развивается при поддержке HP logo intel logo Advertisement

В США придумали способ защитить компьютеры от большинства взломов — он не даёт атаковать ошибки памяти программ Статьи редакции

Технологии ZeRØ и No-FAT защищают память на аппаратном уровне почти без влияния на производительность и энергопотребление компьютера.

Специалисты Колумбийского университета создали две технологии, которые повышают защищённость компьютерных систем на аппаратном уровне без модификации уже существующих программ. Учёные представили их на Международном симпозиуме по компьютерной архитектуре (ISCA) и описали в двух статьях на сайте университета.

Исследователи отметили, что большинство ошибок и уязвимостей в компьютерных программах — результат неправильной работы с памятью. Программисты на языках вроде С и С++ часто ошибаются при работе с указателями на адреса памяти, а также забывают проверять границы массивов данных на целостность. Причём эти ошибки совершают даже программисты в крупных компаниях — в том же Google Chromium 70% уязвимостей приходится на неправильную работу с памятью.

Как учёные предлагают решить проблему небезопасной работы с памятью

Первая технология, которая получила название ZeRØ, обеспечивает корректность указателей на адреса памяти, а также защиту областей кода и данных программы. Для этого ZeRØ использует жёсткие правила доступа, которые полностью предопределены и могут быть реализованы на уровне оборудования. Благодаря технологии программы могут продолжать работу, даже если их успешно атаковали через уязвимость, связанную с памятью.

Общая схема работы технологии ZeRØ Скриншот оригинального документа

ZeRØ практически не снижает скорость работы программ и не повышает энергопотребление, поэтому авторы работы называют эту технологию «бесплатной защитой памяти». Её можно легко добавить в современные процессоры — для этого архитектуру системы нужно будет переделать в минимальной степени.

Вторая технология с названием No-FAT позволяет быстро проверять и фиксировать границы выделяемых областей памяти, чтобы программа случайно или намеренно не выходила за эти границы в процессе работы. No-FAT разбивает память на сегменты разного размера и постоянно следит за их целостностью — причём эта функция также может быть реализована на уровне процессора с минимальными изменениями.

Общая схема работы технологии No-FAT Скриншот оригинального документа

Испытания показали, что технология No-FAT снижает производительность программ примерно на 8% — по словам авторов работы, это лучший показатель среди аналогичных технологий. No-FAT, как и ZeRØ, не требуют изменения существующих программ и позволяют программистам писать код, не задумываясь о дополнительных проверках.

Обе разработки привлекли внимание частных компаний и военных — создатели ZeRØ и No-FAT уже получили гранты ВВС США и Управления военно-морских исследований, а также стипендию Qualcomm Innovation Fellowship.

{ "author_name": "Никита Логинов", "author_type": "editor", "tags": ["\u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u044b","\u0432\u0437\u043b\u043e\u043c\u044b","\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c"], "comments": 22, "likes": 36, "favorites": 25, "is_advertisement": false, "subsite_label": "tech", "id": 400399, "is_wide": true, "is_ugc": false, "date": "Wed, 23 Jun 2021 17:18:07 +0300", "is_special": false }
Advertisement
0
22 комментария
Популярные
По порядку
Написать комментарий...

Социологический ГОСТ

22

No-FAT 

Не бодипозитивно так-то

Ответить
19

Заголовок звучит так, будто они придумали, как заставить людей перестать приклеивать стикер с паролями на монитор

Ответить
1

Так лучше? :)

Ответить
0

Приделали к телефону сканер отпечатков пальца/лица - и отучили от пароля «1234»

Ответить
5

Изобретают очередные костыли вместо того чтобы закопать дырявую сишку и перейти на Rust

Ответить
28

после этого комментария на опеннете начался сущий кошмар

Ответить
1

Комментарий удален по просьбе пользователя

Ответить
0

А чо там?

Ответить
3

часто ошибаются при работе с указателями на адреса памяти, а также забывают проверять границы массивов данных на целостность

Потому что ленятся использовать статические/динамические анализаторы. 

Ответить

Банальный чайник

мЕдь
1

Ага, особенно в Хромиуме, где фаззят на 12к+ ядрах с asan/msan/ubsan/tsan, но все равно 70% от ошибок - это память.

Ответить

Невозможный Денис

3
Ответить
1

Всё понял, но ни капельки не интересно?

Ответить

Невозможный Денис

Трудовой
1

Про проблему понял (и знал), но не понял, как её решают.

Ответить

Трудовой завод

1

А можно просто отключить компьютер от интернета

Ответить

Желающий Илья

0

no fat

Ответить

Невозможный Денис

Желающий
3
Ответить

Желающий Илья

Желающий
0

r

Ответить

Специализированный паук например

1

ASLR с этим вроде нормально справляется

Ответить
–1

Похоже эти учёные никогда не слышали про социальную инженерию.

Ответить
Читать все 22 комментария
Обсуждаемое
Наука
«Роскосмос» объявил о планах построить новую орбитальную космическую станцию
Эксплуатацию МКС планируется завершить к 2028 году.
Новости
Путин создал комиссию по историческому просвещению. Возглавит её бывший министр культуры Владимир Мединский
В состав комиссии войдут представители силовых структур.
Технологии
В московском метро начали тестировать оплату проезда с помощью распознавания лиц
Тестирование проводится на станциях на Филевской линии, для участия нужно подать заявку.
Популярное за три дня
Новости
Квартиру Юрия Хованского выставили на Avito. Она продаётся за 45 миллионов рублей
Блогер находится в СИЗО по обвинению в оправдании терроризма.
Наука
В США учёные нашли «Спанч Боба» и «Патрика» на дне океана с помощью глубоководного аппарата
Но животных, скорее всего, сблизила совсем не дружба.
Спорт
«Даже если тебе это не нравится, нужно принимать»: испанский гимнаст ответил Татьяне Навке
Он удивился, что олимпийская чемпионка не поддерживает других спортсменов, а осуждает их.
null