TY - JOUR AU - Игорь Витальевич Котенко AU - Сергей Александрович Резник AU - Андрей Владимирович Шоров PY - 2009/03/01 Y2 - 2024/03/30 TI - Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств JF - Труды СПИИРАН JA - ТС VL - 0 IS - 8 SE - Статьи DO - 10.15622/sp.8.14 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1415 AB - В настоящей статье анализируются существующие подходы к верификации протоколов безопасности и демонстрируется невозможность полноценной верификации протоколов безопасности в рамках только одного из подходов. Для решения данной задачи предлагается комбинированный подход к верификации, основанный на объединении сильных сторон существующих методов и средств. ER -