Юркин, Д.В., А.А. Уткина, и А.О. Первушин. Формализованный анализ протоколов аутентификации. Информационно-управляющие системы, no. 2 (апрель 1, 2018): 76-83. просмотрено июль 7, 2025. https://www.i-us.ru/index.php/ius/article/view/4327.