SecPAL

SecPAL هي لغة تعريفية منطقية لسياسات الأمان ، طُوّرت لدعم متطلبات التحكم المعقدة في الوصول لبيئات الحوسبة الموزعة واسعة النطاق . ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]}

فيما يلي قائمة جزئية ببعض التحديات التي يتصدى لها برنامج SecPAL:

• كيف يمكن لمنظمة ما أن تقيم علاقة ثقة دقيقة مع منظمة أخرى عبر الحدود التنظيمية؟
• كيف يقوم المستخدم بتفويض مجموعة فرعية من حقوق المستخدم (التفويض المقيد) إلى مستخدم آخر يقيم إما في نفس المؤسسة أو في مؤسسة مختلفة؟
• كيف يمكن صياغة سياسة التحكم في الوصول ومراجعتها بطريقة يسهل على البشر قراءتها - مما يسمح للمدققين والأشخاص غير التقنيين بفهم هذه السياسات؟
• كيف تدعم المنظمة لوائح الامتثال التي تتطلب أن يكون النظام قادراً على إثبات السبب الدقيق لمنح المستخدم حق الوصول إلى مورد ما؟
• كيف يمكن صياغة السياسات وتكوينها وتقييمها بطريقة تتسم بالكفاءة والوضوح وسهولة التطبيق؟

تتضمن الصفحة الرئيسية لأبحاث SecPAL روابط للأوراق البحثية التالية التي تصف بنية SecPAL على مستويات مختلفة من التجريد. ^{[ 5 ]}

• النموذج الرسمي لـ SecPAL ("تصميم ودلالات لغة ترخيص لامركزية") - وصف رسمي للأنواع المجردة ودلالات اللغة وقواعد التقييم التي تدعم التقييم الحتمي في وقت فعال.
• مواصفات مخطط SecPAL – مواصفات تصف تطبيقًا عمليًا قائمًا على XML للنموذج الرسمي الذي يهدف إلى دعم متطلبات التحكم في الوصول للتطبيقات الموزعة
• تطبيق SecPAL البحثي لـ .NET – تطبيق C#، نماذج C# لأنماط التفويض الشائعة، ووثائق شاملة للمطورين ودليل البدء السريع

• IEEE Grid 2007 - التحكم الدقيق في الوصول باستخدام SecPAL ^{[ 6 ]}
• SecPAL للخصوصية ^{[ 7 ] [ 8 ]}