Definición - ¿Qué significa Binder?
Binder es un lenguaje de seguridad basado en lógica abierta. Codifica 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 las políticas están redactados en el lenguaje de seguridad y son 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 se corresponden con sus derechos de acceso y también con un procedimiento de decisión predefinido.
Techinfo explica Binder
Binder es simplemente una nueva y mejor forma de expresar las 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 de Binder se puede traducir a 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 interoperar libremente.
5. Las consultas de carpeta se pueden decidir 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 citan automáticamente. Y el contexto local se puede diferenciar fácilmente de los importados.
Binder tiene delegaciones para la confianza (por ejemplo: el administrador confía en el Usuario1), la 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 idioma de seguridad de Binder.
Esta definición se escribió en el contexto de los lenguajes de programación.