Миронов А.М. - Анализ протоколов безопасности - 10. Протокол аутентификации Yahalom
00:00:15 Протокол Yahalom
00:19:10 Формальная модель сеанса протокола
00:51:10 Проверка ожидаемых от протокола свойств
Курс: Интеллектуальные методы анализа протоколов безопасности
Ссылка на плейлист:
#мгу #мехмат #миронов #безопасность #интеллектуальныеметоды
1 view
319
91
4 months ago 00:00:45 1
Запад рискует вступить в открытый конфликт с Россией.