Analysis of Russian key-agreement protocols using automated verification tools

Работа посвящена изучению соответствия ряда российских криптографических протоколов определенному набору свойств безопасности. Анализ проводился в связи с возможной стандартизацией в Российской Федерации этих решений. С помощью доступных в сети Интернет программных средств автоматической верификации криптографических протоколов, таких как Proverif, AVISPA-SPAN и Scyther, проведен анализ указанных протоколов, найден ряд уязвимостей и предложены пути их исправления.