|
Труды СПИИРАН, 2009, выпуск 8, страницы 292–310
(Mi trspy14)
|
|
|
|
Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств
И. В. Котенко, С. А. Резник, А. В. Шоров Санкт-Петербургский институт информатики и автоматизации РАН
Аннотация:
В настоящей статье анализируются существующие подходы к верификации протоколов безопасности и демонстрируется невозможность полноценной верификации протоколов безопасности в рамках только одного из подходов. Для решения данной задачи предлагается комбинированный подход к верификации, основанный на объединении сильных сторон существующих методов и средств.
Ключевые слова:
протоколы безопасности, формальные методы, верификация, проверка на модели, доказательство теорем.
Образец цитирования:
И. В. Котенко, С. А. Резник, А. В. Шоров, “Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств”, Тр. СПИИРАН, 8 (2009), 292–310
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy14 https://www.mathnet.ru/rus/trspy/v8/p292
|
|