Turinys:
Apibrėžimas - ką reiškia „Binder“?
„Binder“ yra atvira logika pagrįsta saugumo kalba. Tai koduoja saugos teiginius, paverčiant juos paskirstytos logikos programų komponentais saugos teiginiams išreikšti paskirstytoje sistemoje.
Apsaugos sistemos yra užkoduotos ir turi atitikti schemą. Ši schema ir su ja susijusi procedūra gali būti apibrėžta saugumo kalba. Sertifikatai ir strategijos yra parašyti saugumo kalba ir aiškinami pagal jos sprendimo priėmimo procedūrą. Tradicinės apsaugos sistemos saugo saugos teiginius įvairiose duomenų struktūrose. Vartotojo tapatybės yra suderintos su jų prieigos teisėmis, taip pat su iš anksto nustatyta sprendimo procedūra.
„Techopedia“ paaiškina „Binder“
Rišiklis yra tiesiog naujas ir geresnis būdas pažymėti saugumo patikimumą sistemose. Perskaitymo požiūriu tai lengviau ir prasmingiau. Jis turi penkias pagrindines savybes:
1. „Binder“ pareiškimas gali būti išverstas į savarankišką deklaratyvų sakinį anglų kalba.
2. Rišiklio programos gali aiškiai apibrėžti konkrečių programų predikatus, kurie įrodymuose veikia kaip lemmos.
3. Sertifikatuose gali būti savavališkų teiginių, kurie apima naujų predikatų apibrėžimus ir naudojimą.
4. Rišyklės teiginiai gali būti pateikiami ACL, sertifikatuose, strategijose ir kt. Ir gali laisvai sąveikauti.
5. Rišiklio užklausos yra priimtinos daugiapoliu laiku.
„Binder“ išrašus galima eksportuoti ir vėliau importuoti į kitas apsaugos sistemas ar tą pačią sistemą. Importuoti teiginiai cituojami automatiškai. Vietinį kontekstą galima lengvai atskirti nuo importuoto.
„Binder“ turi delegacijas pasitikėti (pavyzdžiui: „Administratorius pasitiki 1 vartotoju“), delegavimą (pvz .: „Administratorius deleguoja identifikuoti vartotojus“ „User1“) ir pasisako už (pvz .: „User1“ pasisako už „Administratorių“). Tai yra pareiškimai anglų kalba, kurie gali būti pakeisti „Binder“ saugumo kalba.
