Русская Википедия:Логика Бэрроуза — Абади — Нидхэма: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

25 августа 2023

  • текущ.пред. 18:1818:18, 25 августа 2023EducationBot обсуждение вклад 26 440 байт +26 440 Новая страница: «{{Русская Википедия/Панель перехода}} '''Логика Бэрроуза — Абади — Нидхэма''' ({{lang-en|Burrows-Abadi-Needham logic}}) или '''BAN-логика''' ({{lang-en|BAN logic}}) — это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов аутентификац...»