Kazalo:
Opredelitev - Kaj pomeni Binder?
Binder je odprt logični varnostni jezik. Zakodira izjave o varnosti, zaradi česar so sestavni deli distribuiranih logičnih programov za izražanje varnostnih stavkov v porazdeljenem sistemu.
Varnostni sistemi so kodirani in morajo slediti shemi. To shemo in spremljajoči postopek je mogoče opredeliti v varnostni jezik. Potrdila in pravilniki so napisani v varnostnem jeziku in se razlagajo po postopku odločanja. Tradicionalni varnostni sistemi hranijo izjave o varnosti v različnih podatkovnih strukturah. Identitete uporabnika se ujemajo s pravicami dostopa in tudi vnaprej določenim postopkom odločanja.
Tehopedija pojasnjuje Binder
Binder je preprosto nov in boljši način izražanja varnostnih potrditev v sistemih. Z vidika berljivosti je lažje in bolj smiselno. Ima pet ključnih lastnosti:
1. Izjava Binder se lahko prevede v deklarativni samostojni angleški stavek.
2. Programi veziv lahko izrecno opredelijo predikate, specifične za aplikacijo, ki delujejo kot leme v dokazih.
3. Potrdila lahko vsebujejo poljubne izjave, ki vključujejo definicije in uporabo novih predikatov.
4. Izjave vezav se lahko pojavijo v ACL, potrdilih, pravilnikih itd. In lahko prosto delujejo.
5. Povezave poizvedb so odločljive v polinomskem času.
Izjave v Binderju je mogoče izvoziti in kasneje uvoziti v druge varnostne sisteme ali isti sistem. Uvoženi izkazi se samodejno navedejo. In lokalni kontekst je mogoče zlahka razlikovati od uvoženega.
Binder ima delegacije za zaupanje (na primer: Admin zaupa User1), delegiranje (na primer: Admin prenese identifikacijo uporabnikov na User1) in govori za (na primer: User1 govori za Admin). To so angleške izjave, ki jih je mogoče spremeniti v varnostni jezik Binderja.
