OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security
تقدم هذه الورقة OSS-CRS، وهو إطار عمل مفتوح المصدر وقابل للنشر محلياً يحرر أنظمة الاستنتاج السيبراني الخاصة بـ DARPA AIxCC من البنية التحتية التنافسية المتقادمة، مما يتيح تطبيقها العملي لاكتشاف ومعالجة الثغرات الأمنية في المشاريع مفتوحة المصدر في العالم الحقيقي، كما تم إثباته من خلال النقل الناجح لنظام Atlantis الحائز على المركز الأول للعثور على 10 أخطاء برمجية جديدة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل مسابقة طبخ عالية المخاطر حيث مُنحت سبعة فرق من الطهاة العباقرة تحديًا: ليس فقط العثور على مكون فاسد في مطبخ ضخم ومعقد، بل إصلاحه، وطهي طبق جديد، وإثبات أنه آمن للأكل، وكل ذلك دون مساعدة بشرية.
لقد نجحوا! هذه "أنظمة الاستدلال السيبراني" (CRSs) وجدت أخطاءً برمجية (bugs) وكتبت الكود لإصلاحها. لكن هنا تكمن المشكلة: عندما انتهت المسابقة، حزم الطهاة أدواتهم ورحلوا. لقد تركوا خلفهم وصفاتهم، لكن المطابخ نفسها بُنيت على بنية تحتية سحابية خاصة ومؤقتة لم تعد موجودة الآن. إذا حاولت استخدام وصفاتهم اليوم، فلن تعمل لأنها كانت مرتبطة بموقد معين، ومجموعة محددة من المكونات، وسحابة معينة تم إغلاقها.
إليك OSS-CRS: المطبخ العالمي.
تقدم هذه الورقة البحثية OSS-CRS، وهو إطار عمل مفتوح المص المصمم ليكون بمثابة محول عالمي ومطبخ مشترك. إنه يأخذ تلك "الوصفات" الفائزة في المسابقة (الأنظمة الذكية) ويسمح لأي شخص بتشغيلها في مطبخه المحلي الخاص لإصلاح مشاكل البرمجيات في العالم الحقيقي.
إليك كيف يعمل، مقسماً إلى مفاهيم بسيطة:
1. المشكلة: الطهاة "المقيدون"
نظر المؤلفون إلى الفرق السبعة الفائزة في المسابقة ووجدوا ثلاثة أسباب رئيسية جعلت أنظمتهم عديمة الفائدة لبقية العالم:
- التكرار: بنى كل فريق نسخته الخاصة من الأدوات الأساسية (مثل مواقدهم، ومغاسلهم، وأجهزة تتبع المكونات الخاصة بهم) من الصفر. كان الأمر كما لو أن سبعة فرق قام كل منها ببناء ثلاجته الخاصة بدلاً من مشاركة واحدة.
- الارتباط بالسحابة (Cloud Lock-in): صُممت الأنظمة لتعمل على خادم سحابي محدد ومؤقت (مثل Azure) تم إغلاقه بعد المسابقة. محاولة تشغيلها الآن تشبه محاولة قيادة سيارة تعمل فقط على مضمار تم هدمه.
- التصميم المتجانس (Monolithic Design): بُنيت الأنظمة ككتل ضخمة واحدة. لم يكن بإمكانك أخذ "روبوت اكتشاف الأخطاء" المذهل من الفريق (أ) و"روبوت كتابة الإصلاحات" من الفريق (ب) ودمجهما معاً. لقد كانا ملتصقين ببعضهما مثل قطعة طوب صلبة؛ لا يمكنك استبدال أجزائهما.
2. الحل: "المحول العالمي" (OSS-CRS)
بنى المؤلفون OSS-CRS، الذي يعمل بمثة مشترك كهربائي عالمي ومساحة عمل مشتركة.
- الواجهة (المشترك الكهربائي): بدلاً من الحاجة إلى قابس خاص لكل نظام، يمنح OSS-CRS كل نظام ذكي قابساً قياسياً. الآن، يمكن لأي نظام أن يتصل ويبدأ العمل فوراً.
- مدير الميزانية (المحفظة): استخدام الذكاء الاصطنا Artificial Intelligence (نماذج اللغات الكبيرة) لإصلاح الأخطاء يكلف مالاً (مثل شراء المكونات). منحت المسابقة الفرق ميزانية قدرها 50,000 دولار. يحتوي OSS-CRS على "محفظة" مدمجة تتبع مقدار المال الذي ينفقه كل ذكاء اصطناعي. إذا حاول الذكاء الاصطناعي إنفاق الكثير، يقوم النظام بقطعه، مما يضمن عدم إفلاسك أثناء الاختبار.
- طاولة التبادل (مأدبة الطعام المشتركة): هذا هو الجزء الأروع. تخيل مأدبة عشاء (Potluck).
- "الفاحص" (Fuzzer) الخاص بالفريق (أ) (وهو روبوت يحاول كسر البرنامج) يجد طبقاً مكسوراً.
- بدلاً من الاحتفاظ به، يضع الطبق المكسور على طاولة مركزية.
- "المُصلح" (Patcher) الخاص بالفريق (ب) (وهو روبوت يصلح الأشياء) يرى الطبق المكسور على الطاولة، فيلتقطه ويصلحه.
- لا يحتاجان للتحدث مع بعضهما البعض مباشرة؛ فهما يتشاركان العناصر الموجودة على الطاولة فقط. هذا يسمح لتقنيات الفرق المختلفة بالعمل معاً بسلاسة.
3. النتيجة: نجاح في العالم الحقيقي
لإثبات نجاحه، أخذ المؤلفون الفائز بالمركز الأول من المسابقة (نظام يسمى ATLANTIS) و"نقلوه" إلى هذا المطبخ العالمي الجديد.
- الإعداد: قاموا بتشغيله على جهاز كمبيوتر واحد (دون الحاجة إلى سحابة ضخمة).
- الاختبار: وجهوا النظام نحو 8 مشاريع مفتوحة المصدر حقيقية (مثل المكتبات التي يستخدمها الملايين).
- الحصاد: في غضون 24 ساعة فقط، وجد النظام 10 أخطاء برمجية جديدة تماماً (بما في ذلك 3 أخطاء خطيرة جداً) لم يكن أحد يعرفها من قبل. كما كتب الكود اللازم لإصلاحها.
لماذا هذا مهم؟
قبل هذا، إذا أردت استخدام هذه الأنظمة الذكية جداً لاكتشاف الأخطاء، كان عليك أن تكون جزءاً من الفريق المحدد الذي بناها أو أن تملك وصولاً إلى إعداد سحابي ضخم ومكلف.
إن OSS-CRS يغير قواعد اللعبة من خلال:
- دمقرطة الأمن: يمكن لأي شخص الآن تشغيل هذه الأنظمة المتقدمة لحماية برمجياته.
- تشجيع التعاون: يمكن للباحثين الآن دمج واختيار أفضل الأجزاء من أنظمة مختلفة (مثل أخذ أفضل "فاحص" من فريق ما وأفضل "مُصلح" من فريق آخر) لبناء دفاعات أقوى.
- توفير المال: فهو يدير التكاليف حتى لا تنفق مبالغ طائلة بالخطأ على أرصدة الذكاء الاصطناي أثناء الاختبار.
باختصار: لقد أخذ المؤلفون "الخلطة السرية" من مسابقة طبخ عالية التقنية، وبنوا مطبخاً عالمياً يمكن لأي شخص الطبخ فيه باستخدامها، وأثبتوا أنها يمكنها العثور على مشكلات العالم الحقيقي وإصلاحها اليوم. إنه يحول مسابقة مغلقة ومكلفة إلى أداة مفتوحة ومشتركة للحفاظ على سلامة الإنترنت.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.