The OpenNET Project / Index page

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



"Уязвимость в oFono, эксплуатируемая через SMS"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Уязвимость в oFono, эксплуатируемая через SMS" +/
Сообщение от Вы забыли заполнить поле Name (?), 21-Дек-23, 21:15 
>[оверквотинг удален]
> Ты совсем не понимаешь о чем речь? Это ядро верифицировали 11 человеко-лет.
> "The total effort for the seL4-specific proof was 11 py."
> Плюс еще 9 человеко-лет для разработки методологии, фреймворков и тд.
> Чтобы это повторить - нужно будет потратить 6-8 человеко-лет.
> "We expect that re-doing a similar verification for a new kernel, using
> the same overall methodology, would reduce this figure to 6 py,
> for a total (kernel plus proof) of 8 py."
> Если ты хоть что-то в нем поменяешь, то придется переделывать, как минимум
> частично.
> Это не твой ####код быстренько на проде править.

Загляни в репозиторий фучсии и увидь код ядра zircon и части userspace на С++, который отношение к тому, что ты говоришь не имеет. Есть что сказать?

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

Оглавление
Уязвимость в oFono, эксплуатируемая через SMS, opennews, 21-Дек-23, 11:18  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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