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