| Разработчики: | DARPA |
| Дата премьеры системы: | сентябрь 2024 г. |
| Отрасли: | Телекоммуникация и связь |
2024: Разработка программы
В конце сентября 2024 года Управление перспективных исследовательских проектов Министерства обороны США (DARPA) анонсировало программу развертывания и обнаружения анонимных сетей Provably Weird Network Deployment and Detection (PWND2). Предполагается, что для создания таких скрытых каналов будет использоваться комбинация из формальных методов и программно-определяемых сетей (SDN).
Отмечается, что в ряде стран власти контролируют интернет-коммуникации, в результате чего пользователи не могут свободно общаться друг с другом. В ответ сообщества по вопросам свободы интернета разрабатывают скрытые сети с применением специальных методов, эмпирически проверяют их, а затем развертывают в надежде, что они не будут обнаружены. Новая инициатива DARPA призвана обеспечить секретную передачу данных.
Концепция PWND2 опирается на достижения программы RACE (Resilient Anonymous Communication for Everyone) — это проект с открытым исходным кодом, направленный на разработку технологий для обеспечения анонимного, безопасного и устойчивого обмена метаданными для пользователей по всему миру. Говорится, что DARPA добилось больших успехов в использовании формальных методов для создания возможностей, способных обеспечить безопасность и доказать отсутствие уязвимостей в киберпространстве. Формальные методы — это комплекс тесно взаимосвязанных друг с другом разделов математики и информатики, нацеленных на разработку математических методов описания, анализа и преобразования программ и систем в целом, которые ориентированы на повышение их надежности и ресурсных характеристик.Облачные сервисы для бизнеса: особенности рынка и крупнейшие поставщики. Обзор TAdviser 
На фоне развития SDN, как считает DARPA, сочетание формальных методов с программными определениями скрытых сетей может дать математические гарантии конфиденциальности и производительности, превосходящие традиционные подходы. [1]
