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