Методика оценки безопасности криптографических протоколов

Прикладная дискретная математика. 2022. № 56. С. 33–82.

А. Ю. Нестеренко, А. М. Семенов

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

Ключевые слова: cryptographic protocols, криптографический протокол, security property, information security performance indicator, свойство безопасности, показатель эффективности защиты информации