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