Инструмент с поддержкой ИИ помог защитить систему спутниковой связи после российской хакерской атаки в 2022 году

Associated Press: В день вторжения в Украину в 2022‑м Россия вывела из строя тысячи спутниковых модемов в Европе. Теперь киберкомпания Atalanta представила Argo — инструмент с поддержкой ИИ, основанный на «понимании софта»: сочетании формальных методов и ИИ для всестороннего поиска уязвимостей в программных и подключённых системах.

Эта технология помогла укрепить сеть спутниковой связи Viasat после атаки и даёт математически обоснованные гарантии устойчивости, отмечает компания. Argo уже применяют и в проекте Genesis Минэнерго США по автономным ядерным реакторам.

По оценке Грега Шэннона из ИНЛ, подобные средства станут отраслевым стандартом в ближайшие десятилетия; путь к этому проложили многомиллиардные вложения DARPA в формальные методы. На их основе Пентагон хочет выстроить «золотой стандарт» кибербезопасности. Актуальность растёт на фоне новых российских и иранских киберугроз к критической инфраструктуре, включая водоканалы.

перевод и аннотация сделаны ИИ // читайте исходный материал

подготовлено совместно с Восточный Курьер