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