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