Лекции
1
Лекция 1. Понятие протокола безопасности
01:18:38
2
Лекция 2. Уязвимости протоколов безопасности
01:26:31
3
Лекция 3. Протоколы электронного голосования
01:26:24
4
Лекция 4. Протоколы электронных платежей
01:27:09
5
Лекция 5. Теория процессов. Примеры верификации свойств процессов
01:20:44
6
Лекция 6. Верификация протокола с чередованием битов
01:21:38
7
Лекция 7. Протоколы передачи данных через небезопасную среду
01:28:01
8
Лекция 8. Протоколы безопасности на вероятностном уровне
01:19:24
9
Лекция 9. Алгоритмы вычисления значений формул
01:27:03
10
Лекция 10. Протокол аутентификации Yahalom
01:28:29
11
Лекция 11. Задача двух миллионеров, протоколы с нулевым разглашением (изоморфизм графов, доказательство знания гамильтонова цикла в графе), протокол подписания контракта
01:26:00