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