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

Лекция 8. Протоколы безопасности на вероятностном уровне

  1. 00:15Протокол передачи данных через небезопасную среду
  2. 18:59Вероятностная система переходов
  3. 37:19Язык описания свойств протоколов PCTL