Миронов А.М. - Анализ протоколов безопасности - 6. Верификация протокола с чередованием битов

00:00:15 Протокол передачи данных в одном направлении 00:56:36 Проверка свойств рассмотренного протокола Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист: #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды