1. Юркин Д., Уткина А., Первушин А. Формализованный анализ протоколов аутентификации // Информационно-управляющие системы. 2018. № 2. C. 76-83.