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