Миронов А.М. - Методы ИИ в задачах анализа данных - Лекция 7. Шифрование электронных платежей

Шифрование электронных платежей и model checking 00:00:17 Система шифрования и атаки на неё 00:22:24 Протоколы и схемы электронных платежей 01:08:33 Model checking Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист: