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