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

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

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

Файл

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

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

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