Разработка теоретических основ и реализация методов криптографической защиты информации в сетях связи.

В 2005 году в соответствии с Техническим заданием и Календарным планом выполнены следующие работы:
- проведены анализ и систематизация отечественных и зарубежных научных и научно-технических публикаций, посвященных математическим моделям и методам криптографической защиты информации в сетях связи;
- проведен анализ основных направлений и тенденций научно-исследовательской деятельности по разработке математических моделей защиты информации в сетях связи;
- проведены патентные исследования по ГОСТ 15.011-96;
- изучена и обоснована роль методов формального анализа и символьных вычислений при разработке и исследовании математических проблем криптографической защиты информации;
- оценена эффективность внедрения методов формального анализа и символьных вычислений при разработке и исследовании математических проблем криптографической защиты информации;
- составлен перечень математических задач криптографии перспективных с точки зрения применения методов символьных вычислений;
- проведены исследования криптографических свойств дискретных отображений методами символьного анализа;
- составлены отчеты по I и II этапам.

Разработка теоретических основ и реализация методов криптографической защиты информации в сетях связи
  (Шифр ИТ—12.2/003)
  Институт проблем информационной безопасности
  МГУ им.М.В.Ломоносова


Символьное моделирование криптографических протоколов и примитивов заключается в разработке и исследовании таких математических моделей этих объектов, в которых для решения различных исследовательских задач могут применяться алгоритмы символьных вычислений.
Символьное моделирование является основным содержанием работ по НИР. Актуальность данной темы обоснована регулярным появлением в последнее время в зарубежной литературе работ, в которых алгоритмы символьных вычислений применяются к задачам криптоанализа.
В рамках третьего этапа НИР построены математические модели криптографических примитивов, в том числе генераторов псевдослучайных последовательностей поточных шифров различных видов, раундовой функции шифрования и функции сжатия отечественных криптографических стандартов. Разработаны символьные модели перечисленных криптографических примитивов.

Символьное моделирование криптографических протоколов и примитивов заключается в разработке и исследовании таких математических моделей этих объектов, в которых для решения различных исследовательских задач могут применяться алгоритмы символьных вычислений.

Символьное моделирование является основным содержанием работ по НИР. Актуальность данной темы обоснована регулярным появлением в последнее время в зарубежной литературе работ, в которых алгоритмы символьных вычислений применяются к задачам криптоанализа.

В рамках НИР построены символьные модели криптографических примитивов. Исследована эффективность внедрения символьных методов. Изучены криптографические свойства дискретных функций. Исследована стойкость криптографических протоколов и криптографических примитивов, основанных на параллельных алгоритмах.