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