Материалы → ОБЗОР ПРОГРАММНЫХ ИНСТРУМЕНТОВ АНАЛИЗА ПРОТОКОЛОВ АУТЕНТИФИКАЦИИ И АВТОРИЗАЦИИ → Обсуждение
ОБЗОР ПРОГРАММНЫХ ИНСТРУМЕНТОВ АНАЛИЗА ПРОТОКОЛОВ АУТЕНТИФИКАЦИИ И АВТОРИЗАЦИИ
Информационные технологии в технических системах
Демидов А. В., Киселев В. Е.
004.054
avispa, proverif, tamarin prover, scyther, формальная верификация протоколов, аутентификация, авторизация, БАН-логика
Прикрепленные файлы
ФайлКомментарии участников
Комментариев еще нет
Написать комментарий
На данный момент у Вас нет возможности комментировать данный материал.