ИСТИНА

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