📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает в дистанционном режиме по понедельникам с 16.45
1 марта 2021 года состоится доклад Г.Г.Черевиченко
"Проверка протоколов с помощью программы ProVerif."
Аннотация. Два субъекта (два человека, две программы, человек и программа) общаются через Интернет. Каждый хочет убедиться в личности собеседника (Сбербанк онлайн хочет убедиться, что этот человек тот, за кого себя выдаёт, а человек - что это Сбербанк онлайн, а не страничка хакера). Разработаны способы действий с обменом паролями и сообщениями, которые называются протоколами, они позволяют убеждаться в подлинности собеседника, безопасно передавать секретную информацию и т.д. Протоколов очень много, они везде и в них регулярно находят ошибки. Разработаны программы для проверки надёжности протоколов, мы разберём программу ProVerif.
https://prosecco.gforge.inria.fr/personal/bblanche/proverif/Для получения ссылки на зум-конференцию пишите на почту veplisko@yandex.ru.