ВЕРИФИКАЦИЯ ПРОТОКОЛОВ БЕЗОПАСНОСТИ НА ОСНОВЕ КОМБИНИРОВАННОГО ИСПОЛЬЗОВАНИЯ СУЩЕСТВУЮЩИХ МЕТОДОВ И СРЕДСТВ
В настоящей статье анализируются существующие подходы к верификации протоколов безопасности и демонстрируется невозможность полноценной верификации протоколов безопасности в рамках только одного из подходов. Для решения данной задачи предлагается комбинированный подход к верификации, основанный на объединении сильных сторон существующих методов и средств. Ключевые слова: протоколы безопасности, формальные методы, верификация, проверка на модели, доказательство теорем.