|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Анализ состояния исследований математических моделей компьютерной безопасностиНИР
Analysis of the research of mathematical models of computer security
- Руководители НИР: Казарин О.В., Логачев О.А.
- Участники НИР: Варновский Н.П., Татузов А.А.
- Подразделение: Центр проблем информационной безопасности
- Срок исполнения: 1 января 2015 г. - 31 декабря 2016 г.
- Номер договора (контракта, соглашения): 0
- Номер ЦИТИС: 01201462790
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Математические проблемы криптографии
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
-
Рубрики ГРНТИ:
- 27.47.15 Математическая теория управляющих систем
- 27.47.23 Математические проблемы искусственного интеллекта
-
Ключевые слова:
стойкость, криптографический протокол, композиция протоколов, облачные вычисления, формальный анализ
-
Описание:
Анализ состояния исследований асинхронных композиций криптографических протоколов; формальных моделей символьного анализа; безопасности облачных вычислений.
-
Основные результаты:
Анализ состояния исследований математических моделей защиты информации показал, что возникающие здесь основные проблемы весьма далеки от своего решения. Проблема стойкости композиций криптографических протоколов до сих пор остается нерешенной. Анализ привел к следующему заключению: для продвижения в данной области необходимо дальнейшее развитие модели, известной как UC-модель или модель Канетти. Составлен краткий обзор основных подходов к верификации протоколов и формальному анализу криптографических протоколов. Выделен класс моделей символьного анализа, которые представляются наиболее перспективными для создания автоматизированных систем криптоанализа. Анализ литературы, посвященной защите информации в облачных вычислениях, показал, что на данный момент в мире нет никаких реальных предложений по организации такой защиты. Более того, имеются весьма сильные отрицательные математические результаты. Защиту информации в облачных вычислениях можно обеспечить только при условии изменения модели.
- Добавил в систему: Логачев Олег Алексеевич
Источник финансирования НИР
| госбюджет, раздел 0110 (для тем по госзаданию) |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2015 г.-31 декабря 2015 г. | Анализ состояния исследований математических моделей компьютерной безопасности |
| Результаты этапа: Анализ состояния исследований математических моделей защиты информации показал, что возникающие здесь основные проблемы весьма далеки от своего решения. Проблема стойкости композиций криптографических протоколов до сих пор остается нерешенной. Анализ привел к следующему заключению: для продвижения в данной области необходимо дальнейшее развитие модели, известной как UC-модель или модель Канетти. Составлен краткий обзор основных подходов к верификации протоколов и формальному анализу криптографических протоколов. Выделен класс моделей символьного анализа, которые представляются наиболее перспективными для создания автоматизированных систем криптоанализа. Анализ литературы, посвященной защите информации в облачных вычислениях, показал, что на данный момент в мире нет никаких реальных предложений по организации такой защиты. Более того, имеются весьма сильные отрицательные математические результаты. Защиту информации в облачных вычислениях можно обеспечить только при условии изменения модели. | ||
| 2 | 1 января 2016 г.-31 декабря 2016 г. | Анализ состояния исследований математических моделей компьютерной безопасности |
| Результаты этапа: В результате исследования установлено, что при анализе и классификации моделей для конкретных компьютерных систем необходимо учитывать области их применения, т.е. среду реализации описываемых механизмов защиты: отдельный компьютер, вычислительная система, сеть передачи данных, большая интегрированная информационная система. | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".