• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Analysis of Russian key-agreement protocols using automated verification tools

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