ITNOP - 2018 → Materials → «Подходы к анализу безопасности протоколов аутентификации и авторизации»
«Подходы к анализу безопасности протоколов аутентификации и авторизации»
Methodological and theoretical aspects of the creation and development of information technology.
Демидов А.В. Киселев В.Е.
004.054
формальная верификация протоколов, аутентификация, проверка модели, доказательство теорем, логический вывод, БАН-логика
Attached files
FileПоследние комментарии участников
No comments yes