Курсы
Лекторы
Школьникам
Простыми словами
О проекте
HUB
open navigation menu
Войти
Главная
/
Курсы
/
Формальная семантика и верификация программного обеспечения
/
Лекция 12. Формальная модель криптографических протоколов. Протокол Yaholom
Вступление
x 1.00
Лекция 12. Формальная модель криптографических протоколов. Протокол Yaholom
К предыдущему видео
Миронов
Андрей Михайлович
Зиборов
Кирилл Викторович
00:15
Вступление
01:48
Протокол Yaholom
25:06
Формальная модель криптографического протокола
01:10:08
Постановка задачи