Юркин, Д.; Уткина, А.; Первушин, А. Формализованный анализ протоколов аутентификации. ИУС 2018, 76-83.