| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Миронов Андрей Михайлович.
Верификация криптографических протоколов / Миронов Андрей Михайлович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 213-234. - Библиогр.: с. 234 (3 назв.).
Верификация криптографических протоколов / Миронов Андрей Михайлович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 213-234. - Библиогр.: с. 234 (3 назв.).
Ключевые слова: Криптографический протокол, Процессная модель, Верификация, Аудентификация, Безопасность
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455326
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151519t.pdf
Подробнее
Аннотация: В работе излагается новая математическая модель криптографических протоколов, и приводится пример применения этой модели для верификации протоколов аутентификации.