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