Котенко, Игорь Витальевич, Сергей Александрович Резник, и Андрей Владимирович Шоров. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств. Труды СПИИРАН, no. 8 (март 1, 2009): 292-310. просмотрено декабрь 22, 2024. https://ia.spcras.ru/index.php/sp/article/view/1415.