Obsah:
Definícia - Čo znamená Binder?
Binder je bezpečnostný jazyk založený na otvorenej logike. Kóduje bezpečnostné vyhlásenia, vďaka čomu sú súčasťou distribuovaných logických programov na vyjadrenie bezpečnostných vyhlásení v distribuovanom systéme.
Bezpečnostné systémy sú kódované a musia sa riadiť schémou. Táto schéma a jej sprievodný postup je možné definovať do bezpečnostného jazyka. Certifikáty a politiky sú napísané v bezpečnostnom jazyku a interpretované ich rozhodovacím postupom. Tradičné bezpečnostné systémy ukladajú bezpečnostné vyhlásenia do rôznych dátových štruktúr. Totožnosti používateľa sa porovnávajú s ich prístupovými právami a tiež s vopred určeným postupom rozhodovania.
Techopedia vysvetľuje Binder
Binder je jednoducho nový a lepší spôsob vyjadrenia bezpečnostných previerok v systémoch. Je to jednoduchšie a dáva väčší zmysel z hľadiska čitateľnosti. Má päť kľúčových vlastností:
1. Vyhlásenie Binder možno preložiť do samostatnej anglickej vety, ktorá je samostatným vyhlásením.
2. Programy väzív môžu explicitne definovať predikáty špecifické pre aplikáciu, ktoré pôsobia ako lemmy v dôkazoch.
3. Certifikáty môžu obsahovať ľubovoľné vyhlásenia, ktoré zahŕňajú definície a použitie nových predikátov.
4. Vyhlásenia o väzbe sa môžu objaviť v ACL, certifikátoch, politikách atď. A môžu voľne spolupracovať.
5. Dotazy spojív sú rozhodujúce v polynomiálnom čase.
Vyhlásenia v programe Binder možno exportovať a neskôr importovať do iných bezpečnostných systémov alebo do rovnakého systému. Importované výpisy sa automaticky kótujú. A miestne kontext možno ľahko odlíšiť od importovaných.
Binder má delegácie na dôveru (napríklad: Správca dôveruje používateľovi 1), delegovanie (napríklad: Správca deleguje identifikáciu používateľov na používateľa1) a hovorí za (napríklad: Používateľ1 hovorí za správcu). Toto sú anglické výroky, ktoré je možné transformovať v bezpečnostnom jazyku Binder.
