Миронов А.М. - Анализ протоколов безопасности - 10. Протокол аутентификации Yahalom

00:00:15 Протокол Yahalom 00:19:10 Формальная модель сеанса протокола 00:51:10 Проверка ожидаемых от протокола свойств Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист: #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды