Lar Desenvolvimento O que é fichário? - o que é techopedia

O que é fichário? - o que é techopedia

Índice:

Anonim

Definição - O que significa Binder?

O fichário é uma linguagem de segurança baseada em lógica aberta. Ele codifica declarações de segurança, tornando-os componentes de programas lógicos distribuídos para expressar declarações de segurança em um sistema distribuído.

Os sistemas de segurança são codificados e devem seguir um esquema. Este esquema e seu procedimento associado podem ser definidos em uma linguagem de segurança. Os certificados e políticas são escritos na linguagem de segurança e interpretados pelo seu procedimento de decisão. Os sistemas de segurança tradicionais armazenam declarações de segurança em uma variedade de estruturas de dados. As identidades do usuário são correspondidas aos seus direitos de acesso e também a um procedimento de decisão predefinido.

Techopedia explica Binder

O Binder é simplesmente uma maneira nova e melhor de expressar as folgas de segurança nos sistemas. É mais fácil e faz mais sentido do ponto de vista da legibilidade. Possui cinco propriedades principais:


1. Uma declaração do Binder pode ser traduzida para uma sentença declarativa autônoma em inglês.

2. Os programas do fichário podem definir explicitamente predicados específicos de aplicativos, que atuam como lemas nas provas.

3. Os certificados podem conter declarações arbitrárias, que incluem definições e usos de novos predicados.

4. As instruções do fichário podem aparecer na ACL, certificados, políticas, etc. e podem interoperar livremente.

5. As consultas do fichário são decidíveis em tempo polinomial.


As instruções no Fichário podem ser exportadas e posteriormente importadas para outros sistemas de segurança ou para o mesmo sistema. As instruções importadas são automaticamente citadas. E o contexto local pode ser facilmente diferenciado dos importados.


O fichário possui delegações de confiança (por exemplo: Admin confia no Usuário1), delegação (por exemplo: Admin delega a identificação de usuários para o Usuário1) e fala por (por exemplo: Usuário1 fala por Admin). Estas são instruções em inglês, que podem ser transformadas no idioma de segurança do Binder.

Esta definição foi escrita no contexto de Linguagens de Programação
O que é fichário? - o que é techopedia