Définition - Que signifie Binder?
Binder est un langage de sécurité basé sur une logique ouverte. Il encode les déclarations de sécurité, ce qui en fait des composants de programmes logiques distribués pour exprimer des 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 sa procédure d'accompagnement peuvent être définis dans un langage de sécurité. Les certificats et les politiques sont rédigés 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 de l'utilisateur correspondent à ses droits d'accès et également à une procédure de décision prédéfinie.
Definir Tech explique Binder
Le classeur est simplement une nouvelle et meilleure façon d'exprimer les autorisations de sécurité dans les systèmes. C'est plus simple et plus logique du point de vue de la lisibilité. Il a cinq propriétés clés:
1. Une déclaration Binder peut être traduite en une phrase déclarative autonome 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 instructions arbitraires, qui incluent des définitions et des utilisations de nouveaux prédicats.
4. Les instructions Binder peuvent apparaître dans les ACL, les certificats, les politiques, etc. et peuvent interopérer librement.
5. Les requêtes de liant sont décidables en temps polynomial.
Les relevés dans Binder peuvent être exportés puis 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.
Le classeur a des délégations pour la confiance (par exemple: l'administrateur approuve l'utilisateur1), la délégation (par exemple: l'administrateur délègue l'identification des utilisateurs à l'utilisateur1) et parle pour (par exemple: l'utilisateur1 parle pour l'administrateur). Ce sont des déclarations en anglais, qui peuvent être transformées en langage de sécurité Binder.
Cette définition a été écrite dans le contexte des langages de programmation