PWND2 Provably Weird Network Deployment and Detection

2024: Разработка программы

В конце сентября 2024 года Управление перспективных исследовательских проектов Министерства обороны США (DARPA) анонсировало программу развертывания и обнаружения анонимных сетей Provably Weird Network Deployment and Detection (PWND2). Предполагается, что для создания таких скрытых каналов будет использоваться комбинация из формальных методов и программно-определяемых сетей (SDN).

Отмечается, что в ряде стран власти контролируют интернет-коммуникации, в результате чего пользователи не могут свободно общаться друг с другом. В ответ сообщества по вопросам свободы интернета разрабатывают скрытые сети с применением специальных методов, эмпирически проверяют их, а затем развертывают в надежде, что они не будут обнаружены. Новая инициатива DARPA призвана обеспечить секретную передачу данных.

𝓲

Freepik

Концепция PWND2 опирается на достижения программы RACE (Resilient Anonymous Communication for Everyone) — это проект с открытым исходным кодом, направленный на разработку технологий для обеспечения анонимного, безопасного и устойчивого обмена метаданными для пользователей по всему миру. Говорится, что DARPA добилось больших успехов в использовании формальных методов для создания возможностей, способных обеспечить безопасность и доказать отсутствие уязвимостей в киберпространстве. Формальные методы — это комплекс тесно взаимосвязанных друг с другом разделов математики и информатики, нацеленных на разработку математических методов описания, анализа и преобразования программ и систем в целом, которые ориентированы на повышение их надежности и ресурсных характеристик.TAdviser выпустил новую Карту «Цифровизация промышленности»: свыше 250 разработчиков и поставщиков услуг 22.8 т

На фоне развития SDN, как считает DARPA, сочетание формальных методов с программными определениями скрытых сетей может дать математические гарантии конфиденциальности и производительности, превосходящие традиционные подходы. ^[1]

Примечания