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