🪟 المقارنة المعمارية: Hisn-seL4 ضد Windows
🪟
Windows
أنظمة عامة- نواة هجينة ضخمة: النواة تحتوي على واجهات رسومية وتعريفات أجهزة بصلاحيات كاملة — حجمها الهائل يعني ثغرات لا تنتهي.
- عقود من الكود القديم: تراكم عشرات السنين من الكود يضمن توافقية البرامج القديمة، لكنه يُخفي ثغرات متوارثة لا حصر لها.
- نظام صلاحيات ظاهري: يعتمد على طلب موافقة المستخدم بنافذة منبثقة — بمجرد تجاوزها تسقط كل الحماية.
- بيئة خصبة للفيروسات: التطبيقات تملك وصولاً واسعاً للقرص والشبكة افتراضياً، مما يجعلها هدفاً مثالياً لبرامج الفدية.
VS
🛡️
Hisn-seL4
مثبت رياضياً- واجهة معزولة عن النواة: نظام الرسوميات يعمل كحاوية منفصلة في فضاء المستخدم — لا يلمس النواة نهائياً.
- كود حديث نظيف: بُني من الصفر بدون إرث قديم — مصمم للقرن الحادي والعشرين بإثبات رياضي صارم.
- لا ثقة افتراضية: العزل مفروض بقوة الرياضيات — النظام لا يسألك 'هل توافق؟' بل يمنع الاختراق هيكلياً.
- مناعة ضد برامج الفدية: أي برمجية خبيثة لا تستطيع حتى رؤية حاوية التخزين بدون رمز وصول صريح لا يمكن تزويره.