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

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

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

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

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

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

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

Задержаны семеро подозреваемых по делу о рекордном улове мошенников

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

Как сообщает телеграм-канал Baza, бывшая глава Корпорации развития Самарской области, 71-летняя Ольга Серова, передала злоумышленникам 421 млн рублей.

Мошенники действовали по классическому сценарию: они позвонили Серовой, представившись сотрудниками правоохранительных органов, и сообщили о якобы попытках перевода средств с её счетов «на финансирование ВСУ». Затем они предложили перевести деньги «на безопасный счёт».

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

О задержании группы подозреваемых стало известно в феврале. Об этом рассказала официальный представитель МВД Ирина Волк. Тогда были задержаны трое жителей Самары, выполнявшие роль курьеров. Именно они помогли выйти на организатора — 22-летнего жителя Саратова. Кроме того, задержан ещё один участник схемы из подмосковного Солнечногорска.

Однако у подозреваемых удалось изъять лишь незначительную часть похищенной суммы. Основную её часть мошенники успели перевести за границу через криптообменник Mosca. Как передаёт «Газета.Ru», вечером 23 апреля в обменнике прошли обыски. Их результаты пока не разглашаются.

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

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