Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств - Котенко, Игорь Витальевич; Резник, Сергей Александрович; Шоров, Андрей Владимирович (Труды СПИИРАН, 2009)