Acasă Dezvoltare Ce este liantul? - definiție din techopedia

Ce este liantul? - definiție din techopedia

Cuprins:

Anonim

Definiție - Ce înseamnă Binder?

Binder este un limbaj de securitate deschis bazat pe logică. Codifică declarațiile de securitate, făcându-le componente ale programelor logice distribuite pentru a exprima declarațiile de securitate într-un sistem distribuit.

Sistemele de securitate sunt codificate și trebuie să urmeze o schemă. Această schemă și procedura ei de însoțire pot fi definite într-un limbaj de securitate. Certificatele și politicile sunt scrise în limbajul de securitate și interpretate prin procedura de decizie. Sistemele tradiționale de securitate stochează declarații de securitate într-o varietate de structuri de date. Identitățile utilizatorului sunt adaptate drepturilor sale de acces și, de asemenea, unei proceduri de decizie predefinite.

Techopedia explică Binder

Binder este pur și simplu un mod nou și mai bun de a exprima autorizațiile de securitate în sisteme. Este mai ușor și are mai mult sens din perspectiva lizibilității. Are cinci proprietăți cheie:


1. O declarație Binder poate fi tradusă într-o propoziție în limba engleză de sine stătătoare.

2. Programele de legare pot defini în mod explicit predicate specifice aplicației, care acționează ca niște leme în dovezi.

3. Certificatele pot conține declarații arbitrare, care includ definiții și utilizări ale predicatelor noi.

4. Declarațiile de legare pot apărea în ACL, certificate, politici etc. și pot interopera liber.

5. Întrebările de legare pot fi determinate în timp polinomial.


Declarațiile din Binder pot fi exportate și ulterior importate către alte sisteme de securitate sau același sistem. Declarațiile importate sunt citate automat. Și contextul local poate fi ușor diferențiat de cele importate.


Binder are delegații pentru încredere (de exemplu: Admin trusts User1), delegare (de exemplu: Admin delegă identificarea utilizatorilor la User1) și speak-for (de exemplu: User1 vorbește pentru Admin). Acestea sunt declarații în limba engleză, care pot fi transformate într-un limbaj de securitate Binder.

Această definiție a fost scrisă în contextul limbajelor de programare
Ce este liantul? - definiție din techopedia