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