Интернет магазин китайских планшетных компьютеров



Компьютеры - Логика Бэрроуза-Абади-Нидхэма

23 января 2011


Оглавление:
1. Логика Бэрроуза-Абади-Нидхэма
2. Тип языка и альтернативы
3. Анализ «протокола Лягушки» с помощью BAN-логики



Логика Бэрроуза-Абади-Нидхэма или БАН-логика — набор правил, используемый для определения и анализа протоколов обмена информацией. В частности, БАН-логика помогает своим пользователям, определить является ли информация, участвующая в обмене подлинной, защищённой от прослушивания и т. д. Первое, о чём говорит БАН-логика — это то, что конфиденциальность и подлинность информации, передаваемой в любой среде, находятся под угрозой. Это утверждение выливается в популярную мантру информационной безопасности «Не доверяйте сети». Обычная последовательность БАН-логики состоит из трёх шагов:

  1. Проверка источника сообщения.
  2. Проверка свежести сообщения.
  3. Проверка достоверности источника.

Для анализа протоколов аутентификации БАН-логика, как и все формальные теории, использует аксиомы и определения. BAN логика часто сопровождает формальные описания протоколов защиты информации.



Просмотров: 1312


<<< Лавинный эффект
Машина Лоренца >>>