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




Содержание


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



Содержание