The OpenNET Project / Index page

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



"Heartbeat-уязвимость в OpenSSL могла эксплуатироваться с ноя..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Heartbeat-уязвимость в OpenSSL могла эксплуатироваться с ноя..." +/
Сообщение от vn971 (ok), 11-Апр-14, 23:03 
Ээээ, я просто объяснял что значит компьютерно-верифицированная программа..

И, кстати, как и в математике -- доказательства легко можно модифицировать в случае небольших изменений требований в задаче. То есть, версия никуда гвоздями не прибита. Модифицируешь код, модифицируешь доказательство кода -- всё ок.

На счёт времени верифицирования -- вы не правы, оно очень мало. Все возможные состояния никто не рассматривает, так же как не рассматривают все возможные состояния неупорядоченного массива когда доказывают корректность bubble sort (мелом на доске).

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

Оглавление
Heartbeat-уязвимость в OpenSSL могла эксплуатироваться с ноя..., opennews, 10-Апр-14, 13:38  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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