Spisu treści:
Definicja - Co oznacza Binder?
Binder jest otwartym językiem bezpieczeństwa opartym na logice. Koduje deklaracje bezpieczeństwa, czyniąc je składnikami rozproszonych programów logicznych do wyrażania deklaracji bezpieczeństwa w systemie rozproszonym.
Systemy bezpieczeństwa są kodowane i muszą być zgodne ze schematem. Ten schemat i towarzysząca mu procedura mogą być zdefiniowane w języku bezpieczeństwa. Certyfikaty i zasady są napisane w języku bezpieczeństwa i interpretowane zgodnie z procedurą decyzyjną. Tradycyjne systemy bezpieczeństwa przechowują deklaracje bezpieczeństwa w różnych strukturach danych. Tożsamości użytkownika są dopasowywane do jego praw dostępu, a także do predefiniowanej procedury decyzyjnej.
Techopedia wyjaśnia Binder
Binder to po prostu nowy i lepszy sposób wyrażania poświadczeń bezpieczeństwa w systemach. Jest to łatwiejsze i bardziej sensowne z punktu widzenia czytelności. Ma pięć kluczowych właściwości:
1. Oświadczenie Binder można przetłumaczyć na samodzielne zdanie w języku angielskim.
2. Programy wiążące mogą jawnie definiować predykaty specyficzne dla aplikacji, które działają jako lematy w dowodach.
3. Certyfikaty mogą zawierać dowolne stwierdzenia, które zawierają definicje i zastosowania nowych predykatów.
4. Instrukcje segregatorów mogą pojawiać się w ACL, certyfikatach, polisach itp. I mogą swobodnie współpracować.
5. Zapytania o spoiwo są rozstrzygalne w czasie wielomianowym.
Instrukcje w Binder można eksportować, a następnie importować do innych systemów bezpieczeństwa lub do tego samego systemu. Zaimportowane wyciągi są automatycznie cytowane. Kontekst lokalny można łatwo odróżnić od importowanych.
Binder ma delegacje do zaufania (na przykład: Administrator ufa Użytkownikowi 1), delegacji (na przykład: Administrator deleguje identyfikację użytkowników do Użytkownika1) i zabiera głos (na przykład: Użytkownik 1 mówi dla administratora). Są to angielskie stwierdzenia, które można przekształcić w język zabezpieczeń Binder.
