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