Постулаты BAN-логики

Постулаты BAN-логики
Анализ протоколов

Описание протокола аутентификации
Идеализация протокола
Предположения
Формальный анализ протокола
Выводы
Содержание раздела

---