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