Inhoudsopgave:
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.
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 de lokale context kan gemakkelijk worden onderscheiden van geïmporteerde.
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.