Taula de continguts:
Definició: què significa Binder?
Binder és un llenguatge de seguretat basat en lògica oberta. Codifica declaracions de seguretat, convertint-les en components de programes de lògica distribuïda per expressar declaracions de seguretat en un sistema distribuït.
Els sistemes de seguretat estan codificats i han de seguir un esquema. Aquest esquema i el seu procediment adjunt es poden definir en un llenguatge de seguretat. Els certificats i les polítiques estan escrits en el llenguatge de seguretat i interpretats pel seu procediment de decisió. Els sistemes de seguretat tradicionals emmagatzemen declaracions de seguretat en diverses estructures de dades. Les identitats de l’usuari s’ajusten als seus drets d’accés i també a un procediment de decisió predefinit.
Techopedia explica Binder
Binder és simplement una forma més nova i millor d’expressar les autoritzacions de seguretat en els sistemes. És més fàcil i té més sentit des d’una perspectiva de llegibilitat. Té cinc propietats clau:
1. Una declaració Binder es pot traduir en una frase en anglès independent i declarativa.
2. Els programes aglutinadors poden definir explícitament els predicats específics de l'aplicació, que actuen com a lemmes en les proves.
3. Els certificats poden contenir declaracions arbitràries, que inclouen definicions i usos de nous predicats.
4. Les declaracions d’enllaç poden aparèixer en ACL, certificats, polítiques, etc. i poden interoperar lliurement.
5. Les consultes d’enllaç es poden decidir en temps polinòmic.
Les declaracions a Binder es poden exportar i posteriorment importar a altres sistemes de seguretat o al mateix sistema. Les declaracions importades es citaran automàticament. I el context local es pot diferenciar fàcilment dels importats.
Binder compta amb delegacions de confiança (per exemple: Admin confia en User1), delegació (per exemple: Admin delega la identificació dels usuaris a User1) i parla per (per exemple: User1 parla d'administrador). Es tracta de declaracions en anglès que es poden transformar en un llenguatge de seguretat de Binder.
