İçindekiler:
Tanımı - Binder anlamı ne?
Bağlayıcı açık bir mantık tabanlı güvenlik dilidir. Güvenlik ifadelerini kodlar, dağıtılmış bir sistemdeki güvenlik ifadelerini ifade etmek için dağıtılmış mantık programlarının bileşenlerini yapar.
Güvenlik sistemleri kodlanmıştır ve bir şemayı takip etmelidir. Bu şema ve beraberindeki prosedür bir güvenlik diline tanımlanabilir. Sertifikalar ve politikalar güvenlik dilinde yazılır ve karar prosedürü ile yorumlanır. Geleneksel güvenlik sistemleri, güvenlik bildirimlerini çeşitli veri yapılarında depolar. Kullanıcının kimlikleri erişim haklarıyla ve ayrıca önceden tanımlanmış bir karar prosedürüyle eşleştirilir.
Techopedia, Binder'i açıklıyor
Binder, sistemlerde güvenlik açıklarını ifade etmenin yeni ve daha iyi bir yoludur. Daha kolay ve okunabilirlik açısından daha anlamlı. Beş temel özelliği vardır:
1. Bir Binder ifadesi bağımsız bir İngilizce cümleye çevrilebilir.
2. Ciltçi programları, ispatlarda lemma görevi gören uygulamaya özel tahminleri açıkça tanımlayabilir.
3. Sertifikalar, yeni yüklemlerin tanımlarını ve kullanımlarını içeren keyfi ifadeler içerebilir.
4. Bağlayıcı ifadeleri EKL'de, sertifikalarda, politikalarda vb. Görünebilir ve serbestçe birlikte çalışabilir.
5. Bağlayıcı sorguları polinom zamanında karar verilebilir.
Binder'deki ifadeler dışarı aktarılabilir ve daha sonra diğer güvenlik sistemlerine veya aynı sisteme aktarılabilir. İçe aktarılan ifadeler otomatik olarak alıntılanır. Ve yerel bağlam ithal edilenlerden kolayca ayırt edilebilir.
Binder'in güvene yönelik yetkileri vardır (örneğin: Yönetici Kullanıcı1'e güvenir), temsilci atama (örneğin: Yönetici, kullanıcıların Kullanıcı1'e tanımlanmasına yetki verir) ve konuşur (örneğin: Kullanıcı1 Yönetici için konuşur). Bunlar, Binder güvenlik dilinde dönüştürülebilen İngilizce ifadelerdir.
