🛡️ security-policy

النوع: System Core  |  التسمية: security-policy  |  تاريخ الإنشاء: 29 يونيو 2026 (13:12 GMT+3)  |  التقنيات: Bare-Metal, no_std, Badge, Security

نظرة عامة

مكتبة security-policy هي محرك سياسات الوصول المبني على الـ Badges في Hisn-seL4. بدلاً من تمرير المسارات والصلاحيات كنصوص يمكن تزويرها، تستخدم المكتبة ميزة الـ Badge الذرية في seL4 (كلمة 64-بت لا يمكن تعديلها من قبل المرسل) لتشفير هوية التطبيق، مستوى الصلاحيات (RO/RW)، وتجزئة مسار الملف (Path Hash). يتم التشفير في حاوية الـ init الموثوقة، ويفك التشفير حاوية FS_Vault للتحقق قبل تنفيذ أي عملية.

الملفات البرمجية

Cargo.toml

src/lib.rs

← العودة إلى المكتبات