Подходы к анализу безопасности протоколов аутентификации и авторизации

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

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

Файл

Комментарии участников

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

Написать комментарий

На данный момент у Вас нет возможности комментировать данный материал.