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