Tabla de contenido:
Definición - ¿Qué significa Binder?
Binder es un lenguaje de seguridad basado en lógica abierta. Codifica las declaraciones de seguridad, convirtiéndolas en componentes de programas lógicos distribuidos para expresar declaraciones de seguridad en un sistema distribuido.
Los sistemas de seguridad están codificados y deben seguir un esquema. Este esquema y el procedimiento que lo acompaña se pueden definir en un lenguaje de seguridad. Los certificados y políticas están escritos en el lenguaje de seguridad e interpretados por su procedimiento de decisión. Los sistemas de seguridad tradicionales almacenan declaraciones de seguridad en una variedad de estructuras de datos. Las identidades del usuario coinciden con sus derechos de acceso y también con un procedimiento de decisión predefinido.
Techopedia explica Binder
Binder es simplemente una nueva y mejor forma de expresar autorizaciones de seguridad en los sistemas. Es más fácil y tiene más sentido desde una perspectiva de legibilidad. Tiene cinco propiedades clave:
1. Una declaración Binder se puede traducir en una oración declarativa independiente en inglés.
2. Los programas Binder pueden definir explícitamente predicados específicos de la aplicación, que actúan como lemas en las pruebas.
3. Los certificados pueden contener declaraciones arbitrarias, que incluyen definiciones y usos de nuevos predicados.
4. Las declaraciones de carpeta pueden aparecer en ACL, certificados, políticas, etc. y pueden interactuar libremente.
5. Las consultas de carpeta son decidibles en tiempo polinomial.
Las declaraciones en Binder se pueden exportar y luego importar a otros sistemas de seguridad o al mismo sistema. Las declaraciones importadas se cotizan automáticamente. Y el contexto local se puede diferenciar fácilmente de los importados.
Binder tiene delegaciones de confianza (por ejemplo: el administrador confía en el usuario1), delegación (por ejemplo: el administrador delega la identificación de los usuarios en el usuario1) y habla por (por ejemplo: el usuario1 habla por el administrador). Estas son declaraciones en inglés, que se pueden transformar en el lenguaje de seguridad de Binder.
