Фундаментальные проблемы кибербезопасности и технологий жизненного цикла разработки безопасного программного обеспечения
| Название НИОКТР | Фундаментальные проблемы кибербезопасности и технологий жизненного цикла разработки безопасного программного обеспечения |
|---|---|
| Аннотация | Целью работы является создание и долгосрочное развитие перспективных подходов к обеспечению информационной безопасности, нацеленных на минимизацию угроз, связанных с ошибками в программно-аппаратном обеспечении |
| Доступ к ОКОГУ исполнителя | False |
| Количество связанных РИД | 0 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 107514.38 |
| Дата начала | 2025-01-01 |
| Дата окончания | 2027-12-31 |
| Номер контракта | 075-03-2025-014 |
| Дата контракта | 2025-01-16 |
| Количество отчетов | 3 |
| УДК | 004.45 |
| Количество просмотров | 30 |
| Руководитель работы | Аветисян Арутюн Ишханович |
| Руководитель организации | Аветисян Арутюн Ишханович |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК |
| Заказчик | МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ |
| Федеральная программа | Отсутствует |
| Госпрограмма | Фундаментальные и поисковые научные исследования |
| Основание НИОКТР | Государственное задание |
| Последний статус | 2025-10-14 08:19:42 UTC, 2025-10-14 08:19:42 UTC |
| ОКПД | Услуги, связанные с научными исследованиями и экспериментальными разработками в области компьютерных наук и информационных технологий |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | МАШИННОЕ ОБУЧЕНИЕ; ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ БИНАРНОГО КОДА; ОБФУСКАЦИЯ ПРОГРАММ; ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ СИСТЕМЫ КОМАНД; ГОМОМОРФНОЕ ШИФРОВАНИЕ; СТАТИЧЕСКИЙ АНАЛИЗ ПРОГРАММ; СИМВОЛЬНЫЙ АНАЛИЗ ПРОГРАММ; ФОРМАЛЬНАЯ МОДЕЛЬ; ЦИФРОВАЯ АППАРАТУРА; ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ |
| Соисполнители | — |
| Типы НИОКТР | Фундаментальное исследование |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 50.41.17 - Системное программное обеспечение |
| OECD | — |
| OESR | Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8) |
| Приоритеты научно-технического развития | д) противодействие техногенным, биогенным, социокультурным угрозам, терроризму и экстремистской идеологии, деструктивному иностранному информационно-психологическому воздействию, а также киберугрозам и иным источникам опасности для общества, экономики и государства, укрепление обороноспособности и национальной безопасности страны в условиях роста гибридных угроз; |
| Регистрационные номера | ikrbs: {'card_list': [{'id': 'MVDFHKVYMX7L66WQX6FNQ4H4'}]} |