תוכן עניינים:
הגדרה - מה המשמעות של בינדר?
בינדר היא שפת אבטחה מבוססת היגיון. זה מקודד הצהרות אבטחה, מה שהופך אותם לרכיבים של תוכניות לוגיקה מבוזרות כדי לבטא הצהרות אבטחה במערכת מבוזרת.
מערכות אבטחה מקודדות וחייבות לבצע סכימה. ניתן להגדיר את הסכימה הזו ואת הנוהל הנלווה לה לשפת אבטחה. האישורים והמדיניות נכתבים בשפת האבטחה ומתפרשים על פי נוהל ההחלטה שלה. מערכות אבטחה מסורתיות מאחסנות הצהרות אבטחה במגוון מבני נתונים. זהות המשתמש מותאמת לזכויות הגישה שלהם וגם לנוהל החלטה מוגדר מראש.
Techopedia מסביר את בינדר
קלסר הוא פשוט דרך חדשה וטובה יותר להביע אישורי אבטחה במערכות. זה קל יותר והגיוני יותר מנקודת מבט של קריאות. יש לו חמישה תכונות עיקריות:
1. ניתן לתרגם הצהרת קלסר למשפט אנגלי עצמאי הצהרתי.
2. תוכניות קלסר יכולות להגדיר באופן מפורש פרדיקטים ספציפיים ליישום, המשמשים כמילות הוכחות.
3. אישורים יכולים להכיל הצהרות שרירותיות, הכוללות הגדרות ושימושים של פרדיקטים חדשים.
4. הצהרות קלסר יכולות להופיע ב- ACL, אישורים, מדיניות וכו 'ויכולות לפעול באופן חופשי.
5. שאילתות קלסרים ניתנות להחלטה בזמן פולינומי.
ניתן לייצא הצהרות ב- Binder ולייבא אחר כך למערכות אבטחה אחרות או לאותה מערכת. הצהרות מיובאות מצוטטות אוטומטית. ניתן להבחין בקלות בהקשר המקומי מהיבוא המיובא.
ל- Binder יש משלחות לאמון (לדוגמה: מנהל סומך על User1), משלחת (לדוגמה: Admin מאצלת הזדהות של משתמשים ל- User1) ומבקשת (למשל: User1 מדברת עבור Admin). אלה הצהרות באנגלית, הניתנות לשינוי בשפת האבטחה של בינדר.
