Исходное сообщение
"Удалённая уязвимость в прослойке Shim, позволяющая обойти UE..." Отправлено n00by, 08-Фев-24 08:54
>> Статический анализатор там пилят. Впрочем, его реклама некоторыми умиляет: >> "почитайте материалы ГК Астра про _верификацию_ пересобранного ими _ядра_" (подчёркивание >> - моё) >> "я вам что, студент что ли? Я кандидат наук. >> Потрудитесь немного хотя бы, пользоваться поисковиком. >> http://linuxtesting.ru/astraver " >> "многие линуксоиды бы очень поспорили с вами, что модуль ядра является его >> частью" >> (ц) Lord Kunzite > а можете поделиться ссылкой на эти опусы? Особенно про кандидата наук интересно Вот на сообщение о кандидатстве в науки https://vk.com/wall-91765504_25234?reply=25279&thread=25238 К сожалению, он так и не ответил, в каких науках допустимо называть статический анализ формальной верификацией, и почему факт верификации модуля ядра (драйвера) СЗИ Астры позволяет говорить о верификации всего ядра, когда модуль якобы не является частью ядра.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: