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

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

Библиографическая информация
Опубликовано в: :	Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г. С. 69-74
Главный автор:	Ульященко, Маргарита Юрьевна
Другие авторы:	Шабалдина, Наталия Владимировна
Формат:	Статья в сборнике
Язык:	Russian
Предметы:	OAuth 2.0, протокол авторизации Promela, язык программирования криптографические протоколы верификация криптографических протоколов статьи в сборниках
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001129511

Похожие документы

Методика выбора ключевой информации для алгоритма блочного шифрования монография
по: Жданов, Олег Николаевич
Публикация: (2013)

Метод нелинейного разложения для анализа криптографических схем, использующих автоморфизмы групп
по: Романьков, Виталий Анатольевич 1948-2023

Криптографические протоколы. Основные свойства и уязвимости [учебное пособие для вузов по специальности "Компьютерная безопасность"]
по: Черемушкин, Александр Васильевич
Публикация: (2009)

Интернет протоколы безопасности : учебный курс : [пер. с англ. ]
по: Блэк, У.
Публикация: (2001)

Основные этапы развития криптографических протоколов SSL/TLS и IPsec
по: Мартыненков, Игорь Владимирович

Модусы авторизации и воспоминания в диалектном высказывании
по: Латфулина, Зульфия Раифовна

Использование российских криптографических алгоритмов в протоколе безопасности сетевого уровня WireGuard
по: Колегов, Денис Николаевич

Прикладная криптография протоколы, алгоритмы и исходные коды на языке C
по: Шнайер, Брюс
Публикация: (2022)

Неинвазивный метод контроля целостности cookie в веб-приложениях
по: Колегов, Денис Николаевич

Основные протоколы Интернет учебное пособие : [для преподавателей, студентов, аспирантов]
по: Берлин, Александр Наумович
Публикация: (2015)

Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3

Динамический поиск уязвимостей в программном обеспечении на основе его верификации
по: Ермаков, А. В.

Основы современной криптографии и стеганографии
по: Рябко, Борис Яковлевич
Публикация: (2010)

Криптографические методы защиты информации учебно-методическое пособие : [для студентов вузов по специальности 080801 "Прикладная информатика" и другим междисциплинарным специальностям]
по: Бабаш, Александр Владимирович
Публикация: (2013)

Общая алгебраическая схема распределения криптографических ключей и ее криптоанализ
по: Романьков, Виталий Анатольевич 1948-2023

О безопасности протокола SESPAKE
по: Алексеев, Евгений Константинович

Элементарное введение в эллиптическую криптографию протоколы криптографии на эллиптических кривых
по: Болотов, Анатолий Александрович
Публикация: (2012)

Элементарное введение в эллиптическую криптографию протоколы криптографии на эллиптических кривых
по: Болотов, Анатолий Александрович
Публикация: (2006)

Прикладная криптография использование и синтез криптографических интерфейсов
по: Щербаков, Андрей Юрьевич
Публикация: (2003)

Практическая криптография
по: Фергюсон, Нильс
Публикация: (2005)

Пороговая схема протокола Диффи-Хеллмана
по: Колегов, Денис Николаевич

О безопасной версии протокола STP
по: Сураев, М. Н.

Ратификация Российской Федерацией Киотского протокола
по: Мураченко, А. С.

Криптография и стеганография в информационных технологиях
по: Рябко, Борис Яковлевич
Публикация: (2015)

Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
по: Леонова, Мария Александровна

Лекции по криптографии
по: Музыкантский, Александр Ильич
Публикация: (2010)

Эффективность различных реализаций модифицированного протокола Диффи-Хеллмана выработки общего ключа
по: Горбунов, Евгений Сергеевич

Курс криптографии
по: Земор, Жиль
Публикация: (2006)

Криптографические методы защиты информации [учебное пособие для студентов вузов, обучающихся по специальностям: "Многоканальные телекоммуникационные системы", "Радиосвязь, радиовещание и телевидение", "Защищенные системы связи"
по: Рябко, Борис Яковлевич
Публикация: (2014)

Криптографические интерфейсы и их использование
по: Хорев, Павел Борисович
Публикация: (2007)

Тестирование совместного функционирования телекоммуникационных протоколов: оценка качества теста
по: Пашенцев, А. Г.

Тестирование DART-реализации клиентской части протокола POP3
по: Прокопенко, Светлана Анатольевна

Алгоритм распределения нагрузки в программной системе, построенной на основе протокола HDP
по: Павликов, Максим Константинович

Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
по: Жигулин, Максим Владимирович

Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
по: Щипачев, Никита Михайлович

Скрытые каналы по времени на основе заголовков кэширования протокола HTTP
по: Колегов, Денис Николаевич

Избранные теоремы начального курса криптографии учебно-методический комплекс
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2007)

Избранные теоремы начального курса криптографии учебное пособие
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2005)

Об информационных потоках по времени, основанных на заголовках кэширования протокола HTTP
по: Колегов, Денис Николаевич

Разработка лабораторных работ по изучению коммуникационного протокола нового поколения IPv6
по: Шильников, Александр Владимирович