KotenkoИ., ReznikС. and ShorovА. 2009. Security protocols verification combining existing approaches and tools. SPIIRAS Proceedings. 8 (Mar. 2009), 292-310. DOI:https://doi.org/10.15622/sp.8.14.