1. KotenkoИ., ReznikС., ShorovА. Security protocols verification combining existing approaches and tools // SPIIRAS Proceedings. 2009. № 8. C. 292-310.