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

Моделирование протоколов безопасности на вероятностном уровне 00:00:15 Протокол передачи данных через небезопасную среду 00:18:59 Вероятностная система переходов 00:37:19 Язык описания свойств протоколов PCTL Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист: #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды