Команда из Университета Карнеги Меллона получает грант в размере 7,5 миллиона долларов в рамках грантов по военно-морским исследованиям в сотрудничестве с Пенном и Стэнфордом по сокращению сложности программного обеспечения или упрощению сложных интернет-протоколов для повышения безопасности.
Довольно просто отправить сообщение в WhatsApp, войти в Gmail или открыть Snapchat одним нажатием пальца. Но то, что стоит за всеми этими приложениями и системами, не так просто. Многие сложные протоколы безопасности, которые определяют, как данные передаются через Интернет, гарантируют то, что Вы вошли в свою учетную запись, а не кто-либо другой. Но если ошибка попадает в любую часть этих сложных программных систем, лежащих в основе Интернета, это может привести к нежелательным последствиям.
Для борьбы со сложностью этих систем и обеспечения более высоких гарантий безопасности в приложениях, которыми ежедневно пользуются миллиарды людей, Университет Карнеги-Меллона (CMU) получил пятилетний грант в размере 7,5 млн. $ от Управления военно-морских исследований (ONR) в сотрудничестве с Университетом Пенсильвании (Пенн) и Стэнфордским университетом в рамках программы «Общая защита кибербезопасности» (TPCP). Проект создаст принципиально новые методы обеспечения большей безопасности и устойчивости для устаревшего программного обеспечения ВМФ.
«Преимущество заключается в высокой уверенности», - заявил Анупам Датта, профессор университета Карнеги Меллона. «Очень сложно дать стойкую гарантию касаемо очень большой, сложной системы. Целью этого проекта является определение меньших подмножеств системы, чтобы увидеть, что если эти части работают правильно, то мы все равно можем получить гарантии безопасности независимо от того, что происходит в других частях системы».