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