Table des matières:
Définition - Que signifie Binder?
Binder est un langage de sécurité basé sur une logique ouverte. Il code les déclarations de sécurité, ce qui en fait des composants des programmes de logique distribuée pour exprimer les déclarations de sécurité dans un système distribué.
Les systèmes de sécurité sont codés et doivent suivre un schéma. Ce schéma et la procédure qui l'accompagne peuvent être définis dans un langage de sécurité. Les certificats et les politiques sont écrits dans le langage de sécurité et interprétés par sa procédure de décision. Les systèmes de sécurité traditionnels stockent les déclarations de sécurité dans une variété de structures de données. Les identités des utilisateurs correspondent à leurs droits d'accès et également à une procédure de décision prédéfinie.
Techopedia explique Binder
Binder est simplement une nouvelle et meilleure façon d'exprimer les autorisations de sécurité dans les systèmes. C'est plus facile et plus logique du point de vue de la lisibilité. Il possède cinq propriétés clés:
1. Une déclaration Binder peut être traduite en une phrase déclarative indépendante en anglais.
2. Les programmes de reliure peuvent définir explicitement des prédicats spécifiques à l'application, qui agissent comme des lemmes dans les preuves.
3. Les certificats peuvent contenir des déclarations arbitraires, qui incluent des définitions et des utilisations de nouveaux prédicats.
4. Les déclarations de classeur peuvent apparaître dans l'ACL, les certificats, les politiques, etc. et peuvent interagir librement.
5. Les requêtes de classeur sont décidables en temps polynomial.
Les relevés dans Binder peuvent être exportés et ensuite importés vers d'autres systèmes de sécurité ou le même système. Les relevés importés sont automatiquement cités. Et le contexte local peut être facilement différencié des contextes importés.
Binder a des délégations pour la confiance (par exemple: Admin fait confiance à User1), la délégation (par exemple: Admin délègue l'identification des utilisateurs à User1) et parle-pour (par exemple: User1 parle-pour Admin). Ce sont des déclarations en anglais, qui peuvent être transformées en langage de sécurité Binder.
