Sisällysluettelo:
Määritelmä - mitä Binder tarkoittaa?
Binder on avoin logiikkapohjainen tietoturvakieli. Se koodaa suojauslausekkeita tekemällä niistä hajautettujen logiikkaohjelmien komponentteja ilmaisemaan suojauslausekkeita hajautetussa järjestelmässä.
Turvajärjestelmät on koodattu ja niiden on noudatettava kaavaa. Tämä kaavio ja siihen liittyvä menettely voidaan määritellä turvakieleksi. Varmenteet ja käytännöt on kirjoitettu turvakielellä ja tulkittu sen päätöksentekomenettelyllä. Perinteiset turvajärjestelmät tallentavat tietoturvalausekkeita useissa tietorakenteissa. Käyttäjän identiteetit sovitetaan heidän käyttöoikeuksiinsa ja myös ennalta määritettyyn päätöksentekomenettelyyn.
Techopedia selittää Binderin
Sideaine on yksinkertaisesti uusi ja parempi tapa ilmaista turvallisuusluvat järjestelmissä. Se on helpompaa ja järkevämpää luettavuuden kannalta. Sillä on viisi keskeistä ominaisuutta:
1. Binder-lausunto voidaan kääntää erilliseksi englanniksi lauseeksi.
2. Sideaineohjelmat voivat määritellä nimenomaisesti sovelluskohtaiset predikatit, jotka toimivat todisteina lemmaina.
3. Varmenteet voivat sisältää mielivaltaisia lauseita, jotka sisältävät uusien predikaattien määritelmät ja käytöt.
4. Sidontalausekkeet voivat näkyä ACL: ssä, varmenteissa, käytännöissä jne. Ja voivat toimia vapaasti yhdessä.
5. Sideainekyselyt voidaan päättää polynomiajasta.
Binderissä olevat lausunnot voidaan viedä ja myöhemmin tuoda muihin turvajärjestelmiin tai samaan järjestelmään. Tuodut lauseet lainataan automaattisesti. Ja paikalliset olosuhteet voidaan helposti erottaa tuotuista.
Binderillä on valtuuksia siirtää (esimerkiksi: Järjestelmänvalvoja luottaa Käyttäjään1), Lähetys (esimerkiksi: Järjestelmänvalvoja siirtää käyttäjien tunnistamisen Käyttäjälle1) ja puhuu puolesta (esimerkiksi Käyttäjä1 puhuu Järjestelmänvalvojan puolesta). Nämä ovat englanninkielisiä lauseita, jotka voidaan muuttaa Binder-turvakieleksi.
