Tartalomjegyzék:
Meghatározás - Mit jelent a Binder?
A Binder egy nyílt logikán alapuló biztonsági nyelv. Ez a biztonsági utasításokat kódolja, és elosztott logikai programok alkotóelemeivé téve a biztonsági utasításokat egy elosztott rendszerben.
A biztonsági rendszerek kódolva vannak, és sémát kell követniük. Ez a séma és az azt kísérő eljárás biztonsági nyelven definiálható. A tanúsítványokat és az irányelveket a biztonsági nyelven írják, és a határozathozatali eljárással értelmezik azokat. A hagyományos biztonsági rendszerek a biztonsági nyilatkozatokat különféle adatszerkezetekben tárolják. A felhasználó azonosságát hozzáigazítják hozzáférési jogaikhoz és egy előre meghatározott döntési eljáráshoz.
A Techopedia magyarázza Binder-et
A Binder egyszerűen egy új és jobb módja annak, hogy kifejezzék a rendszerek biztonsági ellenőrzéseit. Az olvashatóság szempontjából könnyebb és értelmesebb. Öt fő tulajdonsággal rendelkezik:
1. A Binder nyilatkozata lefordítható egy önálló angol mondatba.
2. A kötőprogramok kifejezetten meghatározhatják az alkalmazás-specifikus predikátumokat, amelyek lemámákként szolgálnak a bizonyításokban.
3. A tanúsítványok tetszőleges utasításokat tartalmazhatnak, amelyek magukban foglalják az új predikátumok meghatározásait és felhasználásait.
4. A kötőanyag-nyilatkozatok megjelenhetnek az ACL-ben, a tanúsítványokban, az irányelvekben stb., És szabadon együttműködhetnek.
5. A kötőanyag-lekérdezések polinomiális időben eldönthetők.
A Binder utasításai exportálhatók és később importálhatók más biztonsági rendszerekbe vagy ugyanabba a rendszerbe. Az importált utasításokat automatikusan idézik. És a helyi kontextus könnyen megkülönböztethető az importáltól.
A Binder megbízásokat delegál a megbízásokkal (például: Az adminisztrátor megbízza az 1. felhasználót), a delegálást (például: az adminisztrátor a felhasználók azonosítását átruházza az 1. felhasználóra) és beszélt (például: 1. felhasználó beszél a rendszergazdáért). Ezek angol utasítások, amelyeket a Binder biztonsági nyelvén át lehet alakítani.
