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