caxapa.ru :: Удалённая уязвимость в реализации протокола TIPC в ядре Linux. Интересно, когда-нибудь появятся стеки протоколов с формальный верификацией? При всем современном изобилии языков групповой бег по кругу из граблей.

Evgeny_CD^{Архитектор} (09.11.2021 09:31, просмотров: 105)

Удалённая уязвимость в реализации протокола TIPC в ядре Linux. Интересно, когда-нибудь появятся стеки протоколов с формальный верификацией? При всем современном изобилии языков групповой бег по кругу из граблей.

https://www.opennet.ru/opennews/art.shtml?num=56101

Ответить

Средства и методы разработки