The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

АНБ рекомендовал переходить на языки программирования, безопасно работающие с памятью, opennews (??), 14-Ноя-22, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


53. "АНБ рекомендовал переходить на языки программирования, безоп..."  +/
Сообщение от Аноним (10), 14-Ноя-22, 11:24 
>>> Вы таки хотите сказать покрыть код 100% доказательством ненарушения инвариантов и отсутствия UB? <<<

Да, к этому нужно стремиться (как пример seL4)!

Ответить | Правка | Наверх | Cообщить модератору

60. "АНБ рекомендовал переходить на языки программирования, безоп..."  +/
Сообщение от Анонн (?), 14-Ноя-22, 11:29 
Слишком долго и дорого.
Проблема же не только в ядре - есть же еще куча прикладного софта.
Если тебя хакнут через дыру в почтовике через "особое" письмо, или через браузер прислав специальную картинку, то легче тебе не станет. А формально верифицированный месседжер... это нужно быть ну очень богатым, у АНБ таких денег нет))
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру