Миронов А.М.-Анализ протоколов безопасности-5.Теория процессов.Примеры верификации свойств процессов

00:00:15 Протоколы передачи ключей по квантовому каналу 00:27:25 Протокол и его процессы 00:40:09 Система из параллельно выполняемых процессов 00:54:01 Интеллектуальный анализ протокола Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист: #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды