STATUS: حِصن (Hisn-seL4) — قيد البناء. كن أول من يعرف عند الإطلاق.

نظام تشغيل يجعل الاختراق مستحيلاً هندسياً

نتجاوز حقبة الترقيع والثقة العمياء في الأنظمة الموروثة. حِصن مبني من الصفر على نواة seL4 الدقيقة. أول نظام يقدم ضمانات أمنية بـ الإثبات الرياضي (Mathematical Proof) وليس بمجرد الاختبار.
>

> ملاحظة: الإيميلات المؤقتة محظورة تماماً لأسباب أمنية.

لماذا لا يكفي ما هو موجود؟

🐧

ضد النواة الضخمة (مثل Linux)

  • ✗ ملايين الأسطر بصلاحيات مطلقة: أي ثغرة في تعريف طابعة قد تطيح بالنظام وتمنح المخترق السيطرة الكاملة (Root).
  • ✓ النواة الدقيقة (Microkernel): في حِصن، النواة وظيفتها الوحيدة التمرير والعزل. لا تعريفات ولا برمجيات ضخمة في قلب النظام.
🚗

ضد الأنظمة المدمجة (مثل QNX)

  • ✗ الثقة بالسنين والكود المغلق: استقرار مبني على عقود من الاختبار، لكنه مغلق المصدر وخاضع لقيود تجارية صارمة.
  • ✓ الثقة بالرياضيات: حِصن مفتوح المصدر. لا نثق في الاختبار، بل نثبت رياضياً أن الثغرة مستحيلة. يجمع بين أمان الأنظمة الحرجة وحداثة سطح المكتب.

01 إثبات رياضي

لا نعتمد على جدران حماية وهمية. النواة مُثبتة رياضياً بواسطة الحاسوب أنها خالية من الأخطاء (Formally Verified).

02 عزل حقيقي ومطلق

كل خدمة وكل تطبيق يعمل في حاوية معزولة فيزيائياً تقريباً. اختراق خدمة لا يعني أبداً الوصول لغيرها. لا ثقة افتراضية.

03 منظومة RVLB

تم بناء حِصن ليكون جزءاً من بيئة متكاملة، بلا كود موروث (No Legacy Code)، كل سطر مبرمج لغرض أمني دقيق.

> SYSTEM_STATUS: DEVELOPMENT_IN_PROGRESS
لسنا جاهزين للاستخدام اليومي بعد — نبني بعناية، وهذا يستحق الانتظار.