КОТЕНКО, И. В.; РЕЗНИК, С. А.; ШОРОВ, А. В. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств. Труды СПИИРАН, n. 8, p. 292-310, 1 mar. 2009.