Hem Utveckling Vad är bindemedel? - definition från techopedia

Vad är bindemedel? - definition från techopedia

Innehållsförteckning:

Anonim

Definition - Vad betyder Binder?

Binder är ett öppet logikbaserat säkerhetsspråk. Den kodar säkerhetsförklaringar, vilket gör dem till komponenter i distribuerade logikprogram för att uttrycka säkerhetsförklaringar i ett distribuerat system.

Säkerhetssystem är kodade och måste följa ett schema. Detta schema och dess tillhörande procedur kan definieras till ett säkerhetsspråk. Certifikaten och policyn är skriven på säkerhetsspråket och tolkas med dess beslutsprocedur. Traditionella säkerhetssystem lagrar säkerhetsdeklarationer i en mängd datastrukturer. Användarens identitet är anpassade till deras åtkomsträttigheter och även till ett fördefinierat beslutsförfarande.

Techopedia förklarar Binder

Binder är helt enkelt ett nytt och bättre sätt att uttrycka säkerhetsgodkännanden i system. Det är lättare och är mer förnuftigt ur ett läsbarhetsperspektiv. Det har fem viktiga egenskaper:


1. Ett Binder-uttalande kan översättas till en deklarativ fristående engelska mening.

2. Binderprogram kan uttryckligen definiera applikationsspecifika predikat, som fungerar som lemma i bevis.

3. Certifikat kan innehålla godtyckliga uttalanden, som innehåller definitioner och användning av nya predikat.

4. Bindemeddelande kan visas i ACL, certifikat, policy osv. Och kan fritt samarbeta.

5. Binderfrågor kan avgöras under polynomtid.


Uttalanden i bindemedel kan exporteras och senare importeras till andra säkerhetssystem eller samma system. Importerade uttalanden citeras automatiskt. Och lokalt sammanhang kan lätt differentieras från importerade.


Binder har delegationer för förtroende (till exempel: Admin litar på User1), delegering (till exempel: Admin delegerar identifiering av användare till User1) och talar för (till exempel: User1 talar-för Admin). Det här är engelska uttalanden, som kan omvandlas på Binders säkerhetsspråk.

Denna definition har skrivits i samband med programmeringsspråk
Vad är bindemedel? - definition från techopedia