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