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

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

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

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

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

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

3 мая — годовщина спама, а Google Chrome научился вычислять спамящие сайты

3 мая отмечается день спама. Люди уже привыкли к электронной рассылке разного рода рекламы или иных видов сообщений, на получение которых они не давали своего согласия. А браузер Chrome тем временем научился вычислять такие сайты.

Более сорока лет назад 3 мая 1978 года адресаты получили первую спам‑рассылку. Сотрудник американской компании DEC поделился информацией о новых компьютерах фирмы с помощью сети Arpanet, аудитория которой насчитывала около 400 человек.

Сам термин «спам» является акронимом двух слов «SPiced hAM», обозначавший название мясных консервов британской компании Hormel Foods Corporation. После Второй мировой войны данный продукт остался в избытке, и владелец компании решил поднять продажи с помощью масштабной рекламной акции. Люди видели банки SPAM в газетах, на билбордах и транспорте. С тех пор спам стал символом назойливой рекламы.

 

В 1993 году термин «спам» обрел привычное нам значение - почтовый мусор.

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

К счастью, кибербезопасность не стоит на месте. Специалисты постоянно ищут способы обнаружения таких вредоносов. Так, например, Google Chrome научился «вычислять» сайты, рассылающие спам.

В последней версии Chrome появилась новая полезная функция, которая работает в составе модуля «Проверка безопасности». С её помощью браузер сообщает, что определённый сайт оправляет подозрительно много уведомлений, когда пользователи не взаимодействуют с ним.

Источник: Windows Latest

 

В «Рекомендациях безопасности» юзеры могут заблокировать уведомления от отдельных «подозрительных» сайтов или же ото всех сразу, а также ознакомиться с ежедневным счётчиком количества уведомлений.

Anti-Malware Яндекс ДзенПодписывайтесь на канал "Anti-Malware" в Telegram, чтобы первыми узнавать о новостях и наших эксклюзивных материалах по информационной безопасности.

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