Котенко, Игорь Витальевич, Сергей Александрович Резник, и Андрей Владимирович Шоров. 2009. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств. Труды СПИИРАН, вып. 8 (март), 292-310. https://doi.org/10.15622/sp.8.14.