Миронов А.М.-Анализ протоколов безопасности-5.Теория процессов.Примеры верификации свойств процессов
КОНЧИК! Щелкните правой кнопкой мыши и выберите "Save link as..." для загрузки.
Курс: Интеллектуальные методы анализа протоколов безопасности
Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNB1JuXQQoULiRVOiTp7A7IN #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды