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