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

Abstract

Объектом исследования являются криптографические протоколы и методы анализа их безопасности. Цель работы: разработка и экспериментальная оценка гибридной модели анализа криптографических протоколов. В процессе работы рассмотрены теоретические основы криптографических протоколов, типовые уязвимости и возможные методы их обнаружения. Спроектирована и реализована модульная архитектура гибридной модели анализа и алгоритм интеграции результатов. Проведена экспериментальная оценка эффективности модели. В результате работы реализовано программное обеспечение гибридной модели анализа протоколов. Проведена экспериментальная оценка эффективности модели. Экспериментально подтверждено, что гибридная модель превосходит отдельные методы анализа.