The OpenNET Project / Index page

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



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

Оглавление

Уязвимости в OpenBSD, позволяющие повысить привилегии и обой..., opennews (?), 05-Дек-19, (0) [смотреть все]

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


152. "Уязвимости в OpenBSD, позволяющие повысить привилегии и обой..."  +1 +/
Сообщение от Аноним (152), 06-Дек-19, 11:57 
Почему на Расте-то? На нём толком и доказать-то ничего нельзя! Надо обязательно хотя-бы на Coq.
Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

155. "Уязвимости в OpenBSD, позволяющие повысить привилегии и обой..."  +1 +/
Сообщение от Аноним (155), 06-Дек-19, 14:02 
Есть в английском слово cocksure. Если доказывать безопасность софта формально, то можно утверждать, что за софт ты coqsure.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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