Юркин, Д., А. Уткина, и А. Первушин. Формализованный анализ протоколов аутентификации. Информационно-управляющие системы, вып. 2, Apr. 2018, сс. 76-83, DOI:10.15217/issn1684-8853.2018.2.76.