ЮРКИН, Д.; УТКИНА, А.; ПЕРВУШИН, А. Формализованный анализ протоколов аутентификации. Информационно-управляющие системы, n. 2, p. 76-83, 1 abr. 2018.