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