Съдържание:
Определение - Какво означава Binder?
Binder е език за сигурност, базиран на отворена логика. Той кодира изявления за сигурност, превръщайки ги в компоненти на разпределени логически програми за изразяване на изявления за сигурност в разпределена система.
Системите за сигурност са кодирани и трябва да следват схема. Тази схема и придружаващата я процедура могат да бъдат определени на език за защита. Сертификатите и правилата са написани на езика на сигурността и се тълкуват чрез процедурата за вземане на решение. Традиционните системи за сигурност съхраняват изявления за сигурност в различни структури от данни. Самоличността на потребителя е съпоставена с техните права за достъп, а също и с предварително определена процедура за вземане на решение.
Техопедия обяснява Биндер
Binder е просто нов и по-добър начин за изразяване на разрешенията за сигурност в системите. По-лесно е и има повече смисъл от гледна точка на четене. Той има пет ключови свойства:
1. Изявление за свързващо вещество може да бъде преведено в декларативно самостоятелно английско изречение.
2. Програмите за свързване могат изрично да дефинират предикати, специфични за приложението, които действат като леми в доказателствата.
3. Сертификатите могат да съдържат произволни изявления, които включват дефиниции и употреби на нови предикати.
4. Свързващи изявления могат да се появяват в ACL, сертификати, политики и др. И могат да си взаимодействат свободно.
5. Заявките за свързване могат да се решат в полиномно време.
Извлеченията в Binder могат да бъдат експортирани и по-късно импортирани в други системи за сигурност или същата система. Импортираните извлечения се котират автоматично. И локалният контекст може лесно да се разграничи от внесения.
Binder има делегации за доверие (например: Admin доверява User1), делегиране (например: Admin делегира идентификация на потребителите на User1) и говори за (например: User1 говори-за Admin). Това са английски изявления, които могат да бъдат трансформирани в език за сигурност на Binder.
