بيربلكستي تقول إن تسعة نماذج فشلت مئة وثماني عشرة مرة في الخروج من صندوقها الرملي، وتقريرها يعدّ مئة وثماني محاولات

صندوق رملي، يُمنح مجاناً

أطلقت بيربلكستي أداة سبيس مفتوحة المصدر في الخامس عشر من أكتوبر برخصة أباتشي 2.0. وهي طبقة الاحتواء التي بنتها الشركة لوكلائها الخاصين المعروفين باسم بورتابل كمبيوتر، والذين ينفذون مهام مثل بناء تطبيقات الويب والبحث عن المنتجات وحجز الفنادق، وهي متاحة الآن على غيت هاب ليشغّلها من يشاء.

التصميم آلة افتراضية دقيقة لا حاوية. فكل صندوق رملي آلة فايركراكر افتراضية بنظام تشغيل خاص بها، وتديرها التطبيقات عبر واجهة برمجية تنشئ بيئات لينكس وتنفذ الأوامر وتجمع المخرجات ثم تفكك الآلة. وأورد سيليكون أنغل بقية التفاصيل: مستوى تحكم يملكه المشغّل، ولقطات ملفات ونقاط تفتيش متكررة تتيح التراجع عن جلسة، وإمكانية إيقاف الجلسات واستئنافها وتفريعها.

وهناك قراران أهم من الافتراضية نفسها. فالصندوق يُعامَل دائماً على أنه غير موثوق، ويُحتفظ بالوصول إلى الشبكة وببيانات اعتماد المنصة خارجه، فيصل الوكيل إلى خدمة مصرّح له بها دون أن يرى قط المفتاح السري الذي يمنحه ذلك التصريح.

الأرقام، والفجوة بينها

اختبرت بيربلكستي الصندوق بفريق أحمر، فأوعزت إلى تسعة نماذج متقدمة بالخروج منه. ويذكر سيمافور وسيليكون أنغل كلاهما مئة وثماني عشرة محاولة من دون أي هروب ناجح. أما تقرير الشركة نفسه، بحسب تلخيص مارك تك بوست، فيعدّ صفراً من أصل مئة وثماني محاولات وصلت إلى المفتاح السري على جانب المضيف.

ولم يجرِ التوفيق بين الرقمين علناً. وقد يصفان جزأين مختلفين من التقييم نفسه — التمرين الكامل مقابل اختبار مفتاح المضيف تحديداً — لكن الإعلان لا يقول ذلك، ولا يستطيع أحد من خارج الشركة التحقق. فكل ما هنا مصدره المورّد: بيربلكستي صممت الصندوق وكتبت أوامر الهجوم وقيّمت النتائج ونشرتها، ولم يُعِد أي مقيّم مستقل التمرين.

والرقم الأنفع هو الذي يسجل إخفاقاً. ففي قيود الشبكة، نجحت إحدى عشرة محاولة من أصل أربع وخمسين في التجاوز قبل أن تعالج بيربلكستي نقاط الضعف، ووجدت أربعة من النماذج التسعة طريقاً. وتقول الشركة إنه بعد الإصلاحات لم يحقق أي نموذج تجاوزاً مؤكداً في إعادة الاختبار. وادعاء الاحتواء يكتسب قيمة أكبر حين يتضمن السجل المنشور الجزء الذي أخفق.

المقارنة التي يتعذر التحقق منها

تقول بيربلكستي أيضاً إن النماذج نفسها خرجت من صناديق رملية تجارية لم تفتح مصدرها. ولم تسمِّ تلك المنتجات ولم تنشر المحاولات، فالادعاء خارج نطاق أي تحقق، وهو ادعاء عن منافسين يصدر عن شركة تبيع البديل. والأجدر قراءته بوصفه تسويقاً إلى أن تصل التفاصيل.

وتعتزم كورويف وأكاماي وكروسو تقديم سبيس لعملائها، وهذا أهم من الاختبار: فتبنّي ثلاثة مزودي بنية تحتية طبقةَ احتواء واحدة هو الطريق الذي يتكوّن به معيار سائد.

حواجز بدل المواءمة

قال زيبي برانيتسكي، العضو في الفريق التقني لدى بيربلكستي، لسيمافور إن الشركة ركزت على جعل الحواجز أمتن وأكثر موثوقية بدل العمل على مواءمة النماذج، وهو ما تصب فيه معظم المختبرات المتقدمة جهدها. وشبّه المهمة ببدايات الويب حين بنى المتنافسون حواجز مشتركة للتصفح والتجارة الآمنين، وقال إن القطاع يفكر اليوم بأفق ضيق.

وللحجة منطقها. فعمل المواءمة يحاول ألا يرغب النموذج في الهروب، بينما يفترض الصندوق الرملي أنه سيحاول. والافتراض الثاني يصمد أمام نموذج لم تدرّبه بنفسك، وهي حال كل شركة تشغّل وكيل غيرها.

وسبيس ليس وحده. فقد أطلقت إنفيديا أداة أوبن شِل الشهر الماضي ضمن منصتها لسلامة الوكلاء المفتوحة، ويذكر سيليكون أنغل أنه لم تُسجَّل حالات هروب منها أيضاً. كما فتحت بيربلكستي مصدر أدوات براوز سيف ونومبات وبامبلبي.

ما الذي ينبغي متابعته

الاختبار هو ما إذا كان أحد من خارج بيربلكستي سيشغّل حزمة اختبارات الهروب وينشر ما يجده، وما إذا كان الرقمان مئة وثماني عشرة ومئة وثمانية سيحظيان بتفسير. وإلى ذلك الحين، فالخلاصة الأمينة أن صندوقاً رملياً واسع الانتشار صار قابلاً للفحص، وهذا بذاته الغرض من إطلاقه.