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