«ОБЗОР ПРОГРАММНЫХ ИНСТРУМЕНТОВ АНАЛИЗА ПРОТОКОЛОВ АУТЕНТИФИКАЦИИ И АВТОРИЗАЦИИ»

Информационные технологии в технических системах
Демидов А. В., Киселев В. Е.
004.054
avispa, proverif, tamarin prover, scyther, формальная верификация протоколов, аутентификация, авторизация, БАН-логика

Прикрепленные файлы

Файл

Последние комментарии участников

Комментариев еще нет

Оставить комментарий