Materials → ОБЗОР ПРОГРАММНЫХ ИНСТРУМЕНТОВ АНАЛИЗА ПРОТОКОЛОВ АУТЕНТИФИКАЦИИ И АВТОРИЗАЦИИ → Comments
ОБЗОР ПРОГРАММНЫХ ИНСТРУМЕНТОВ АНАЛИЗА ПРОТОКОЛОВ АУТЕНТИФИКАЦИИ И АВТОРИЗАЦИИ
Information technology in technical systems.
Демидов А. В., Киселев В. Е.
004.054
avispa, proverif, tamarin prover, scyther, формальная верификация протоколов, аутентификация, авторизация, БАН-логика
Attached files
FileMembers comments
No comments yes
Comment
This material can't be commented at now.