Курсы
Лекторы
Материалы
О проекте
Курсы
Лекторы
Материалы
О проекте
Войти
Лекция 6. Верификация протокола с чередованием битов
Лекция из курса:
Интеллектуальные методы анализа протоколов безопасности
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 6. Верификация протокола с чередованием битов
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через
56:36
Протокол передачи данных в одном направлении
56:36
Следующая секция начнется через
56:36
Проверка свойств рассмотренного протокола
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
Лекция 6. Верификация протокола с чередованием битов
00:15
Следующая секция начнется через
56:36
Протокол передачи данных в одном направлении
56:36
Следующая секция начнется через
56:36
Проверка свойств рассмотренного протокола
Свернуть таймкоды
Конспект лекции
Лекция 6. Верификация протокола с чередованием битов
1
/
Загрузка
Скачать конспект лекции
Предыдущая лекция
5
Лекция 5. Теория процессов. Примеры верификации свойств процессов
01:20:44
Следующая лекция
7
Лекция 7. Протоколы передачи данных через небезопасную среду
01:28:01
x
Нашли ошибку или баг? Сообщите нам!
Ваши комментарии о найденых ошибках в лекциях, конспектах или о баге
Отправить