Юркин Д, Уткина А, Первушин А. Формализованный анализ протоколов аутентификации. ИУС [Интернет]. 1апр.2018 [цитируется по 9окт.2026];(2):76-3. Available from: https://i-us.guap.ru/index.php/ius/article/view/4327