|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Верификация протокола Ву-Ламакурсовая работа (Специалист)
- Научный руководитель: Миронов А.М.
- Автор: Зенков Тимофей Владимирович
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической теории интеллектуальных систем
- Год защиты: 2022
- Курс: 3
- Аннотация: В работе Зенкова Тимофея рассмотрено применение процессной модели криптографических протоколов к задаче верификации свойств аутентификации и секретности протокола аутентификации Ву-Лама. Автор строит модель данного протокола, и сначала доказывает свойство секретности передаваемого сеансового ключа. После этого автор доказывает свойство аутентификации респондера перед инициатором и свойство аутентификации инициатора перед респондером. Все доказательства выполнены корректно. Одним из направлений развития применяемого автором подхода является исследование вопроса о верификации протоколов с асимметричными системами шифрования.
- Добавил в систему: Миронов Андрей Михайлович