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

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

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

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

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

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

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

Офисные Chrome-аддоны с 2,3 млн установок собирают посещаемые URL

Офисный редактор в браузере может интересоваться не только вашим документом. Bay Area Labs связала с OffiDocs группу из 60 расширений Chrome с суммарно 2,3 млн установок. У 37 из них исследователи обнаружили отправку полных адресов посещённых страниц на серверы, связанные с компанией.

Код, примеры запросов и список расширений опубликованы в исследовании Bay Area Labs.

В группу входят редакторы документов, таблиц и PDF, инструменты работы с изображениями и другие привычные утилиты. Несколько расширений имеют отметку Featured в Chrome Web Store.

По данным исследователей, адреса страниц кодируются в шестнадцатеричный формат и передаются вместе с уникальным идентификатором пользователя. Поскольку это кодирование, восстановить исходный URL несложно.

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

Отдельные претензии к VPNOnline. По данным отчёта, он использует HTTP-прокси и собирает адреса по списку ключевых слов, который операторы могут менять без обновления расширения.

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

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