Indholdsfortegnelse:
Definition - Hvad betyder Binder?
Binder er et åbent logikbaseret sikkerhedssprog. Det koder for sikkerhedserklæringer, hvilket gør dem til komponenter i distribuerede logiske programmer til at udtrykke sikkerhedserklæringer i et distribueret system.
Sikkerhedssystemer er kodet og skal følge et skema. Dette skema og dets ledsagende procedure kan defineres til et sikkerhedssprog. Certifikaterne og politikkerne er skrevet på sikkerhedssproget og fortolket efter dens beslutningsprocedure. Traditionelle sikkerhedssystemer gemmer sikkerhedserklæringer i en række datastrukturer. Brugerens identiteter er tilpasset deres adgangsrettigheder og også til en foruddefineret beslutningsprocedure.
Techopedia forklarer Binder
Binder er simpelthen en ny og bedre måde at udtrykke sikkerhedsklareringer i systemer. Det er lettere og giver mere mening ud fra et læsbarhedsperspektiv. Det har fem nøgleegenskaber:
1. En Binder-erklæring kan oversættes til en erklærende frisk engelsk sætning.
2. Bindeprogrammer kan eksplicit definere applikationsspecifikke predikater, der fungerer som lemmaer i bevis.
3. Certifikater kan indeholde vilkårlige udsagn, der inkluderer definitioner og anvendelser af nye predikater.
4. Binderklæringer kan vises i ACL, certifikater, politikker osv. Og kan frit samarbejde.
5. Bindespørgsmål kan afgøres i polynomietid.
Udsagn i Binder kan eksporteres og senere importeres til andre sikkerhedssystemer eller det samme system. Importerede udsagn citeres automatisk. Og lokal kontekst kan let differentieres fra importerede.
Binder har delegationer til tillid (for eksempel: Admin stoler på User1), delegering (for eksempel: Admin delegerer identifikation af brugere til User1) og taler for (for eksempel: User1 taler-for Admin). Dette er engelske udsagn, som kan omdannes til sikkerhedssproget Binder.
