Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей - Ульященко, Маргарита Юрьевна (Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.)