binder

Schrijver: Peter Berry
Datum Van Creatie: 16 Augustus 2021
Updatedatum: 7 Kunnen 2024
Anonim
Chest Binding
Video: Chest Binding

Inhoud

Definitie - Wat betekent Binder?

Binder is een op open logica gebaseerde beveiligingstaal. Het codeert beveiligingsverklaringen, waardoor het componenten worden van gedistribueerde logische programma's om beveiligingsverklaringen in een gedistribueerd systeem uit te drukken.

Beveiligingssystemen zijn gecodeerd en moeten een schema volgen. Dit schema en de bijbehorende procedure kunnen in een beveiligingstaal worden gedefinieerd. De certificaten en beleidsregels zijn geschreven in de beveiligingstaal en geïnterpreteerd door de beslissingsprocedure. Traditionele beveiligingssystemen slaan beveiligingsverklaringen op in verschillende datastructuren. De identiteiten van de gebruiker worden gekoppeld aan hun toegangsrechten en ook aan een vooraf gedefinieerde beslissingsprocedure.


Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.

Techopedia legt Binder uit

Binder is gewoon een nieuwe en betere manier om veiligheidsmachtigingen in systemen uit te drukken. Vanuit leesbaarheidsperspectief is het eenvoudiger en logischer. Het heeft vijf belangrijke eigenschappen:

1. Een Binder-verklaring kan worden vertaald in een verklarende zelfstandige Engelse zin.
2. Binder-programma's kunnen expliciet applicatiespecifieke predicaten definiëren, die als bewijs dienen in bewijzen.
3. Certificaten kunnen willekeurige uitspraken bevatten, waaronder definities en gebruik van nieuwe predicaten.
4. Binder-verklaringen kunnen voorkomen in ACL, certificaten, beleid, etc. en kunnen vrij samenwerken.
5. Binder-zoekopdrachten zijn beslissend in polynoomtijd.

Verklaringen in Binder kunnen worden geëxporteerd en later worden geïmporteerd in andere beveiligingssystemen of hetzelfde systeem. Geïmporteerde overzichten worden automatisch geciteerd. En lokale con kan gemakkelijk worden onderscheiden van geïmporteerde degenen.

Binder heeft delegaties voor vertrouwen (bijvoorbeeld: beheerder vertrouwt gebruiker1), delegatie (bijvoorbeeld: beheerder delegeert identificatie van gebruikers aan gebruiker1) en spreekt voor (bijvoorbeeld: gebruiker1 spreekt voor beheerder). Dit zijn Engelse verklaringen, die kunnen worden omgezet in Binder-beveiligingstaal.


Deze definitie is geschreven in het con van programmeertalen