Sommario:
Definizione - Cosa significa Binder?
Binder è un linguaggio di sicurezza basato su logica aperta. Codifica le dichiarazioni di sicurezza, rendendole componenti di programmi logici distribuiti per esprimere le dichiarazioni di sicurezza in un sistema distribuito.
I sistemi di sicurezza sono codificati e devono seguire uno schema. Questo schema e la relativa procedura di accompagnamento possono essere definiti in un linguaggio di sicurezza. I certificati e le politiche sono scritti nel linguaggio di sicurezza e interpretati dalla sua procedura decisionale. I sistemi di sicurezza tradizionali memorizzano le dichiarazioni di sicurezza in una varietà di strutture di dati. Le identità dell'utente sono abbinate ai loro diritti di accesso e anche a una procedura di decisione predefinita.
Techopedia spiega Binder
Binder è semplicemente un modo nuovo e migliore per esprimere le autorizzazioni di sicurezza nei sistemi. È più semplice e ha più senso dal punto di vista della leggibilità. Ha cinque proprietà chiave:
1. Un'istruzione Binder può essere tradotta in una frase inglese autonoma dichiarativa.
2. I programmi Binder possono definire esplicitamente predicati specifici dell'applicazione, che fungono da lemmi nelle prove.
3. I certificati possono contenere dichiarazioni arbitrarie, che includono definizioni e usi di nuovi predicati.
4. Le dichiarazioni del raccoglitore possono apparire in ACL, certificati, politiche, ecc. E possono interagire liberamente.
5. Le query sui raccoglitori sono decidibili in tempo polinomiale.
Le istruzioni in Binder possono essere esportate e successivamente importate in altri sistemi di sicurezza o nello stesso sistema. Le dichiarazioni importate vengono quotate automaticamente. E il contesto locale può essere facilmente differenziato da quelli importati.
Binder ha delegazioni per la fiducia (ad esempio: Admin si fida di User1), delegazione (ad esempio: Admin delega l'identificazione degli utenti a User1) e parla-per (ad esempio: User1 parla-per Admin). Queste sono dichiarazioni in inglese, che possono essere trasformate nel linguaggio di sicurezza di Binder.
