Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей

Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей

Bibliographic Details
Published in:Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г. С. 69-74
Main Author: Ульященко, Маргарита Юрьевна
Other Authors: Шабалдина, Наталия Владимировна
Format: Book Chapter
Language:Russian
Subjects:
OAuth 2.0, протокол авторизации
Promela, язык программирования
криптографические протоколы
верификация криптографических протоколов
статьи в сборниках
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129511
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129511
Перейти в каталог НБ ТГУ

Similar Items