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