Миронов А.М. - Анализ протоколов безопасности - 9. Алгоритмы вычисления значений формул

00:00:15 Повторение 00:15:55 Вычисление формул в протоколе PCTL 00:44:57 Общие модели сложных устройств 00:55:06 Описание формул в протоколе CTL 01:07:32 Вычисление формул в протоколе CTL Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист: #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды