Оглавление:
Определение - Что означает Binder?
Binder - это язык безопасности на основе открытой логики. Он кодирует операторы безопасности, делая их компонентами программ с распределенной логикой для выражения операторов безопасности в распределенной системе.
Системы безопасности кодируются и должны следовать схеме. Эта схема и сопровождающая ее процедура могут быть определены на языке безопасности. Сертификаты и политики написаны на языке безопасности и интерпретируются процедурой принятия решения. Традиционные системы безопасности хранят заявления о безопасности в различных структурах данных. Идентификационные данные пользователей сопоставляются с их правами доступа, а также с предварительно определенной процедурой принятия решений.
Техопедия объясняет Биндер
Binder - это просто новый и лучший способ выразить зазоры безопасности в системах. Это проще и имеет больше смысла с точки зрения читабельности. У него есть пять ключевых свойств:
1. Заявление Binder может быть переведено в декларативное отдельное английское предложение.
2. Связующие программы могут явно определять специфичные для приложения предикаты, которые действуют как леммы в доказательствах.
3. Сертификаты могут содержать произвольные утверждения, которые включают определения и использование новых предикатов.
4. Операторы связывания могут появляться в ACL, сертификатах, политиках и т. Д. И могут свободно взаимодействовать.
5. Запросы на связывание разрешимы за полиномиальное время.
Заявления в Binder могут быть экспортированы, а затем импортированы в другие системы безопасности или ту же систему. Импортированные заявления автоматически цитируются. А локальный контекст можно легко отличить от импортированных.
У Binder есть делегирование для доверия (например: Admin доверяет User1), делегирование (например: Admin делегирует идентификацию пользователей для User1) и говорит от имени (например: User1 говорит от имени Admin). Это английские заявления, которые могут быть преобразованы в язык безопасности Binder.
