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

Methodological and theoretical aspects of the creation and development of information technology.
Демидов А.В. Киселев В.Е.
004.054
формальная верификация протоколов, аутентификация, проверка модели, доказательство теорем, логический вывод, БАН-логика

Attached files

File

Members comments

No comments yes

Comment

This material can't be commented at now.