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

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

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

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

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