x 1.00
Скачать видео

Лекция 10. Протокол аутентификации Yahalom

  1. 00:15Протокол Yahalom
  2. 19:10Формальная модель сеанса протокола
  3. 51:10Проверка ожидаемых от протокола свойств