ИСТИНА |
Войти в систему Регистрация |
|
ФНКЦ РР |
||
Целью НИР является исследование применимости современного аппарата анализа свойств криптографических и сетевых протоколов к анализу свойств криптографического сетевого протокола IPlir, используемого в технологии ViPNet
1. Аналитический обзор современного аппарата для анализа свойств криптографических и сетевых протоколов. 2. Определение применимости формальных методов анализа свойств криптографических и сетевых протоколов из к анализу протокола IPlir. 3. Тактико-техническое задание на научно-исследовательскую работу «Анализ свойств криптографических и сетевых протоколов, используемых в технологии ViPNet», целью которой является анализ свойств криптографического сетевого протокола IPlir, используемого в технологии ViPNet, для определения его степени защищенности и создания обоснованных рекомендаций по его корректной реализации и надежному использованию.
МГУ имени М.В. Ломоносова | Координатор |
Хоздоговор, предпринимательский |
# | Сроки | Название |
1 | 1 августа 2014 г.-15 декабря 2014 г. | Исследование применимости современного аппарата анализа свойств криптографических и сетевых протоколов к протоколам, используемым в технологии ViPNet |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".