Программа Crowd Sourced Formal Verification — CSFV была направлена на решение специфических аналитических задач обеспечения безопасности систем в игровой форме, поскольку любые сложные математические задачи специалисты DARPA всегда могут представить даже в виде интересных и увлекательных детских и онлайн-игр.
Программа-конкурс Cyber Grand Challenge — CGC была ориентирована на разработку специфических приложений для автоматического исправления уязвимостей так называемого нулевого дня (O-day), в том числе для тестирования соответствующего программного обеспечения, выявления основных уязвимостей, генерации специальных тестов и установки их в компьютерной сети. Надо сказать, что сегодня поиск различных уязвимостей частично автоматизирован. Уже есть методы статичного и динамичного анализа. которые позволяют обнаружить характерные уязвимости в анализируемом коде. Но вот исправлять эти ошибки автоматически компьютеры пока не научились. Поэтому основная задача программы — совместить анализ кода и защиту сетей в единый программно-аппаратный комплекс. Конечно, эта задача чрезвычайно сложная, но ведь и приз в два миллиона долларов — вполне достойная награда за победу в такой программе-конкурсе. Здесь следует напомнить читателю, что название Cyber Grand Challenge исторически связано с названием известного конкурса Grand Challenge, который уже трижды проводился в США для испытаний автономных транспортных средств еще в 2004–2007 гг. Тогда десятки автомобилей-роботов разных фирм-изготовителей пытались проехать по незнакомой пересеченной местности, самостоятельно прокладывая маршрут и объезжая все препятствия, включая канавы, камни и узкие тоннели. Маршрут движения тогда объявляли за два часа до начала конкурса. Если в первый год проведения этого проекта (DARPA Grand Challenge) ни одна машина из 15 стартовавших так и не доехала до финиша (собственно, только 8 пз 15 машин смогли уйти со старта, а лучшая команда тогда преодолела всего лишь 11.8 км пз 230), то потом все участники уже начали соревноваться на скорость. Прогресс был очевиден. По аналогии с Cyber Grand Challenge поначалу задача кажется неразрешимой, но в дальнейшем ожидается получить первые самообучающиеся прототипы, которые действительно смогут автоматически обнаруживать препятствия и принимать оптимальные решения в течение нескольких секунд после обнаружения. Конкурс Cyber Grand Challenge обычно проходит в несколько этапов и будет продолжаться несколько лет.
Еще одна программа — Gargoyle была направлена на создание секретных сверхскоростных систем киберзащиты (военных объектов), работающих на скоростях передачи данных более 10 ТБ/сек (террабапт в секунду). Как известно, очень часто имеют место такие происшествия, как пропущенные предупреждения и запоздалая реакция на принятые предупреждения. Например, совокупный мировой поток данных через оптоволоконные кабели в настоящее время составляет более 100 ТБ/сек и, как ожидают, превысит 1 ПБ/sec к 2020 году. В рамках программы Gargoyle в DARPA разрабатывают специальные фотонные корреляторы для оработкп критически значимой информации, которые должны обеспечить почти нулевое время обработки данных. Для этого американские инженеры разработают соответствующую широкополосную модуляцию с расширением спектра полосы пропускания более чем 10 ГГц.
Программа DARPA с интригующим названием «Разработки нового беспроводного стандарта связи» (100 Gb/s RF Backbone). Как известно экспертам, сейчас в армии США для различного рода коммуникаций разных родов войск и спецслужб (АНБ. ЦРУ. ФСБ) применяется вроде абсолютно безопасный беспроводной протокол Common Data Link (CDL). Он хорош тем, что обеспечивает максимальную скорость передачи данных на уровне не ниже 250 Мб/с. Однако этой скорости сегодня уже недостаточно для многих специальных применений, например, для надежного управления различного рода (ударными, разведывательными и т. п.) беспилотными летательными аппаратами, а также отправления и получения оперативных («завтра будет поздно’») разведывательных данных. Цель этой программы с названием 100 Gb/s RF Backbone — это создание и внедрение в практику вооруженных сил США нового беспроводного стандарта связи, который способен обеспечить скорость передачи данных не менее 100 Гб/с при радиусе покрытия до 200 км. При этом требования к массе, весу, габаритам конечного оборудования и уровню его энергопотребления предъявляются точно такие же, как и к стандартному оборудованию CDL.