Зміст:
Визначення - Що означає Біндер?
Біндер - відкрита логіка, заснована на мові безпеки. Він кодує заяви безпеки, роблячи їх компонентами розподілених логічних програм для вираження тверджень про безпеку в розподіленій системі.
Системи безпеки кодуються і повинні слідувати схемі. Цю схему та супровідну процедуру можна визначити мовою безпеки. Сертифікати та поліси написані мовою безпеки та інтерпретуються в порядку її прийняття рішення. Традиційні системи безпеки зберігають заяви безпеки в різних структурах даних. Особистість користувача відповідає їхнім правам доступу, а також заздалегідь визначеній процедурі прийняття рішення.
Техопедія пояснює Біндер
Біндер - це просто новий і кращий спосіб вираження пробілів безпеки в системах. Це простіше і має більше сенсу з точки зору читабельності. Він має п'ять основних властивостей:
1. Висловлювання Біндера може бути перекладено в декларативне самостійне англійське речення.
2. Програми біндеру можуть чітко визначати конкретні прикладні предикати, які виступають лемами в доказуванні.
3. Сертифікати можуть містити довільні твердження, що включають визначення та використання нових предикатів.
4. Заявки на палітурку можуть з'являтися в ACL, сертифікатах, полісах тощо і можуть вільно взаємодіяти.
5. Запити на палітурку вирішуються в поліноміальний час.
Заяви в Binder можна експортувати та пізніше імпортувати до інших систем безпеки або до тієї ж системи. Імпортовані заяви автоматично цитуються. І локальний контекст можна легко відрізнити від імпортного.
Біндер має делегації для довіри (наприклад: Admin довіряє User1), делегування (наприклад: Admin делегує ідентифікацію користувачів на User1) та виступає за (наприклад: User1 виступає за Admin). Це англійські висловлювання, які можна перетворити на мову безпеки Binder.
