Пентагон будет тестировать программное обеспечение вооружений с помощью игр

Пентагон будет тестировать программное обеспечение вооружений с помощью игр

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей.

Финансирование проекта осуществляет Управление перспективного планирования оборонных научно-исследовательских работ США (DARPA), в рамках программы Crowd Sourced Formal Verification. В ходе эксперимента планируется создать специальные логические игры для ноутбуков и мобильных устройств и выпустить их в свободную продажу. Найденные игроками в процессе игры решения позволят специалистам Пентагона проводить формальную верификацию применения математических теорий, что позволит определить, имеются ли в тестируемом программном коде ошибки и уязвимости.

Проект рассчитан на 3 года и призван сократить расходы Пентагона на содержание штатных специалистов для тестирования программного обеспечения вооружений.

На реализацию проекта DARPA планирует потратить $4,7 млн. в 2012 финансовом году и $32 млн. в 2015 финансовом году.

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей." />
AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

Google закрыла критические дыры в Android, две уже фигурируют в атаках

Google выпустила сентябрьские патчи для Android, закрыв десятки уязвимостей в системе и компонентах производителей. Устройства с Android 10 и выше, обновлённые до 2025-09-05, защищены от всех известных проблем. Самая опасная уязвимость — критическая брешь в компоненте System, позволяющая выполнить код удалённо без участия пользователя.

Достаточно, чтобы злоумышленник находился поблизости, например в зоне действия Wi-Fi или Bluetooth.

Особое внимание в этом месяце — на двух уязвимостях, которые уже используются в атаках:

  • CVE-2025-38352 — состояние гонки в ядре Linux (posix-cpu-timers), которое может вызвать сбой в работе ОС или отказ в обслуживании. Google подтвердила ограниченные целевые атаки.
  • CVE-2025-48543 — уязвимость в Android Runtime (ART), позволяющая повысить привилегии без участия пользователя. Попытки эксплуатации фиксируются реальных кибератаках.

Кроме них, исправлены и другие критические дыры, включая возможность удалённого выполнения кода в System (CVE-2025-48539) и несколько багов в закрытых компонентах Qualcomm (например, в модеме и DSP), способных привести к полной компрометации устройства.

Также устранены уязвимости высокой степени риска во Framework, системных компонентах, а также в сторонних модулях Arm Mali, PowerVR и MediaTek.

Google подчёркивает: все исправления в ближайшие 48 часов будут опубликованы в AOSP, чтобы производители могли быстрее выпускать патчи. Пользователям рекомендуют не откладывать обновления, особенно если устройство используется для работы с важными данными.

AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

RSS: Новости на портале Anti-Malware.ru