Sadržaj:
Definicija - Što znači Binder?
Binder je otvoreni logički sigurnosni jezik. Ona kodira sigurnosne izjave, čineći ih komponentama distribuiranih logičkih programa za izražavanje sigurnosnih izjava u distribuiranom sustavu.
Sigurnosni sustavi su kodirani i moraju slijediti shemu. Ova se shema i prateći postupak mogu definirati na sigurnosni jezik. Potvrde i pravila napisana su na sigurnosnom jeziku i tumače se postupkom odlučivanja. Tradicionalni sigurnosni sustavi pohranjuju sigurnosne izjave u različite strukture podataka. Identiteti korisnika usklađeni su s njihovim pravima pristupa i također sa unaprijed definiranim postupkom odlučivanja.
Tehopedija objašnjava Binder
Binder je jednostavno novi i bolji način izražavanja sigurnosnih provjera u sustavima. Lakše je i ima više smisla iz perspektive čitljivosti. Ima pet ključnih svojstava:
1. Binder izjava može se prevesti u deklarativnu samostalnu englesku rečenicu.
2. Programi veziva mogu izričito definirati predikate specifične za aplikaciju, koji djeluju kao leme u dokazima.
3. Potvrde mogu sadržavati proizvoljne izjave, koje uključuju definicije i uporabu novih predikata.
4. Izjava o vezivima može se pojaviti u ACL, certifikatima, pravilima itd. I može slobodno interoperativno raditi.
5. Upiti za vezivanje su odlučujući u polinomnom vremenu.
Izjave u Binderu mogu se izvesti i kasnije uvesti u druge sigurnosne sustave ili isti sustav. Uvezene izjave automatski se citiraju. I lokalni se kontekst može lako razlikovati od uvezenog.
Binder ima delegacije za povjerenje (na primjer: Admin vjeruje User1), delegiranje (na primjer: Admin delegira identifikaciju korisnika na User1) i govori-for (na primjer: User1 govori-za Admin-a). To su engleske izjave, koje se mogu transformirati u sigurnosni jezik Binder-a.
