ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Анализ состояния исследований асинхронных композиций криптографических протоколов; формальных моделей символьного анализа; безопасности облачных вычислений.
Анализ состояния исследований математических моделей защиты информации показал, что возникающие здесь основные проблемы весьма далеки от своего решения. Проблема стойкости композиций криптографических протоколов до сих пор остается нерешенной. Анализ привел к следующему заключению: для продвижения в данной области необходимо дальнейшее развитие модели, известной как UC-модель или модель Канетти. Составлен краткий обзор основных подходов к верификации протоколов и формальному анализу криптографических протоколов. Выделен класс моделей символьного анализа, которые представляются наиболее перспективными для создания автоматизированных систем криптоанализа. Анализ литературы, посвященной защите информации в облачных вычислениях, показал, что на данный момент в мире нет никаких реальных предложений по организации такой защиты. Более того, имеются весьма сильные отрицательные математические результаты. Защиту информации в облачных вычислениях можно обеспечить только при условии изменения модели.
госбюджет, раздел 0110 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2015 г.-31 декабря 2015 г. | Анализ состояния исследований математических моделей компьютерной безопасности |
Результаты этапа: Анализ состояния исследований математических моделей защиты информации показал, что возникающие здесь основные проблемы весьма далеки от своего решения. Проблема стойкости композиций криптографических протоколов до сих пор остается нерешенной. Анализ привел к следующему заключению: для продвижения в данной области необходимо дальнейшее развитие модели, известной как UC-модель или модель Канетти. Составлен краткий обзор основных подходов к верификации протоколов и формальному анализу криптографических протоколов. Выделен класс моделей символьного анализа, которые представляются наиболее перспективными для создания автоматизированных систем криптоанализа. Анализ литературы, посвященной защите информации в облачных вычислениях, показал, что на данный момент в мире нет никаких реальных предложений по организации такой защиты. Более того, имеются весьма сильные отрицательные математические результаты. Защиту информации в облачных вычислениях можно обеспечить только при условии изменения модели. | ||
2 | 1 января 2016 г.-31 декабря 2016 г. | Анализ состояния исследований математических моделей компьютерной безопасности |
Результаты этапа: В результате исследования установлено, что при анализе и классификации моделей для конкретных компьютерных систем необходимо учитывать области их применения, т.е. среду реализации описываемых механизмов защиты: отдельный компьютер, вычислительная система, сеть передачи данных, большая интегрированная информационная система. |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".