Isi kandungan:
Definisi - Apa maksudnya Binder?
Binder adalah bahasa keselamatan berasaskan logik terbuka. Ia mengodkan kenyataan keselamatan, menjadikan mereka komponen program logik yang diedarkan untuk menyatakan kenyataan keselamatan dalam sistem yang diedarkan.
Sistem keselamatan dikodkan dan mesti mengikuti skema. Skema ini dan prosedur yang disertakan dapat ditakrifkan menjadi bahasa keamanan. Sijil dan polisi ditulis dalam bahasa keselamatan dan ditafsirkan oleh prosedur keputusannya. Sistem keselamatan tradisional menyimpan kenyataan keselamatan dalam pelbagai struktur data. Identiti pengguna dipadankan dengan hak akses mereka dan juga prosedur keputusan yang telah ditetapkan.
Techopedia menerangkan Binder
Binder hanyalah satu cara baru dan lebih baik untuk menyatakan kebersihan sekuriti dalam sistem. Ia lebih mudah dan lebih masuk akal dari perspektif kebolehbacaan. Ia mempunyai lima sifat utama:
1. Penyataan Binder boleh diterjemahkan ke dalam pendirian deklaratif sahaja kalimat Inggeris.
2. Program pengikat secara jelas dapat menentukan predikat spesifik aplikasi, yang bertindak sebagai lemmas dalam bukti.
3. Sijil boleh mengandungi pernyataan sewenang-wenangnya, yang merangkumi definisi dan penggunaan predikat baru.
4. Penyataan pengikat boleh muncul di ACL, sijil, dasar, dan lain-lain dan boleh saling beroperasi secara bebas.
5. Pertanyaan pengikat boleh dibuktikan dalam masa polinomial.
Pernyataan di Binder boleh dieksport dan kemudian diimport ke sistem keselamatan lain atau sistem yang sama. Kenyataan yang diimport secara automatik dipetik. Dan konteks setempat boleh dengan mudah dibezakan daripada yang diimport.
Binder mempunyai delegasi untuk kepercayaan (sebagai contoh: Admin trusts User1), delegasi (contohnya: Perwakilan pentadbir pengguna pengguna ke User1) dan bercakap-untuk (misalnya: User1 berbicara-untuk Admin). Ini adalah pernyataan Bahasa Inggeris, yang boleh diubah dalam bahasa pengaman Binder.
