Преподаватель из Казани рассказал, как превратил лабораторную работу по криптографическим протоколам в учебный стенд CryptoLab. Вместо стандартного задания на шифрование и расшифровку данных через AES-GCM он решил добавить в схему активного нарушителя, чтобы студенты видели протокол не в идеальных условиях, а под атакой.

Стенд построен вокруг классической модели взаимодействия Alice, Bob и Mallory. Отправитель и получатель обмениваются сообщениями, а между ними действует активный атакующий, который может перехватывать, изменять и повторно отправлять пакеты. Это позволяет на практике разбирать угрозы, которые обычно остаются только теоретическими примерами на лекциях.

Среди ключевых вопросов, которые прорабатываются в лабораторной, — что именно видит атакующий в зашифрованном пакете, как система реагирует на изменение ciphertext, можно ли повторно использовать старый корректный пакет и к чему приводит повторное использование nonce. Отдельно рассматривается поведение системы после отзыва ключа.

CryptoLab развивается параллельно с преподаванием курса, то есть автор постепенно дополняет стенд под реальные учебные задачи. В статье он описывает устройство первой лабораторной работы и демонстрирует два наиболее показательных эксперимента.

По задумке такой подход должен дать студентам более наглядное понимание криптографических протоколов и их уязвимостей. Реакция аудитории на публикацию пока не приводится, но сам формат стенда может быть интересен другим преподавателям и разработчикам учебных курсов по информационной безопасности.