ملخص تقني: CAESAR – إطار عمل منسق متعدد الوكلاء للاختراقات السيبرانية المؤتمتة

1. بيان المشكلة

أظهرت النماذج اللغوية الكبيرة (LLMs) قدرة في مهام الأمن الهجومي، مثل فرز الثغرات وصياغة الاستغلالات. ومع ذلك، فإن النهج الحالي أحادي الوكيل يضغط سير عمل الاختراق بأكره — استخراج الأدلة، التخطيط، التنفيذ، والتحقق — في سياق حواري واحد. يؤدي هذا الضغط إلى انحراف السياق (context drift)، انتشار الخطأ، والهلوسة، لا سيما في الحملات المعقدة متعددة المراحل مثل التهديدات المتقدمة المستمرة (APTs).

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

2. المنهجية: إطار عمل CAESAR

يقدم البحث CAESAR (التنفيذ الاستراتيجي والاستدلال المنسق العدائي)، وهو إطار عمل منسق متعدد الوكلاء مصمم لتشغيل سير عمل بأسلوب الاختراق من خلال بروتوكول هيكلي قائم على الجولات.

أ. النموذج الرسمي والبنية

يتم صياغة CAESAR كـ $F = \langle R, E, K, W, \Pi, V \rangle$، يعمل على بيئة مستهدفة $E$ مع ميزانية تشغيلية محدودة $\Gamma = \langle c_{tok}, c_{time}, c_{risk} \rangle$. يقوم إطار العمل بتفكيك سير العمل إلى خمسة مشغلات أدوار محددة النوع:

1. المحقق (Detective - D): يستخرج الميزات البارزة والأدلة من البيئة المستهدفة.
2. المخطط الاستراتيجي (Strategist - S): ينظم الأدلة في رسوم بيانية للفرضيات، ويبني مسارات حل بديلة.
3. الجنرال (General - G): يقيم الفرضيات مقابل متجه الميزانية ويختار خطة قابلة للتنفيذ، مع تعيين المهام لمنفذين محددين.
4. المنفذ (Executor - E): يستدعي أدوات متخصصة في المجال (مثل أدوات التصحيح أو التفكيك) لتنفيذ إجراءات ذرية.
5. المحقق/المصادق (Validator - V): يفحص آثار التنفيذ، ويتحقق من النتائج، ويضبط عملية ترقية الأنماط الموثوقة إلى قاعدة معرفة مستمرة.

ب. بروتوكول الجولة

يعمل إطار العمل في جولات منفصلة، تمر كل منها عبر ست مراحل:

1. التهيئة: يتم إنشاء لقطة (snapshot) للقراءة فقط من قاعدة المعرفة المستمرة ($K$) للجولة.
2. جمع الأدلة: يصدر المحقق إجراءات ملاحظة محدودة، مما يولد مصنوعات أدلة مهيكلة.
3. بناء الفرضيات: يبني المخطط الاستراتيجي رسمًا بيانيًا للفرضيات باستخدام الأدلة الحالية والأنماط القابلة لإعادة الاستخدام من $K$.
4. تشكيل الخطة: يقوم الجنرال بتقييم الفرضيات باستخدام دالة منفعة $U_G$ توازن بين احتمالية النجاح مقابل تكاليف الرموز والوقت والمخاطر. يتم التفاوض على خطة وتعيينها للمنفذين.
5. تنفيذ المهام: يستدعي المنفذون الأدوات ويصدرون آثارًا (traces) مهيكلة.
6. التقييم والترقية: يقوم المحقق بتقييم جميع المصنوعات. يتم اعتماد المصنوعات التي تتجاوز عتبة الترقية $\tau_{prom}$ فقط في قاعدة المعرفة المستمرة $K$ كمدخلات محددة النوع (أنماط، قدرات، أو تغذية راجعة).

ج. الآليات الرئيسية

• ترقية المعرفة المقيدة بالمحقق: لمنع تضخم الخطأ، يتم ترقية المصنوعات عالية الثقة والمحققة فقط إلى $K$. يضمن هذا أن الجولات اللاحقة تبنى على ملاحظات تم التحقق منها بدلاً من حالات مهلوسة.
• المصنوعات المحددة النوع والمصدر: يحمل كل مصنوع نوعًا، ووسم محتوى (content hash)، ورابط مصدر، مما يسمح للمحقق بمراجعة المنتجات الوسيطة مقابل المواصفات.
• التخطيط الواعي بالميزانية: يقوم الجنرال بتحسين التوازن صراحةً مقابل متجه التوازن، مما يضمن بقاء الخطط ضمن حدود الرموز والوقت والمخاطر.
• عزل الكتابة: تمتلك الأدوار وصول كتابة معزول إلى أقسام مساحة العمل الخاصة بها، حيث يعمل المحقق ككاتب وحيد لقاعدة المعرفة المشتركة.

3. المساهمات الرئيسية

1. اقتراح إطار العمل: تقديم CAESAR، الذي يشغل تخصص الأدوار، والذاكرة المقيدة بالمحقق، والتخطيط الواعي بالميزانية تحت بروتوكول جولة رسمي محدد النوع.
2. التقييم المنهجي: تقييم شامل لـ 25 تحديًا من تحديات CTF الواقعية (هندسة عكسية، ثغرات برمجية، تشفير، متنوع، ويب) عبر أربعة خلفيات LLM معاصرة (GPT-5، Gemini 2.5، Grok-4، DeepSeek-R1).
3. دراسة التعميم: دراسة ثانوية توضح أن نمط التنسيق ينتقل إلى سيناريوهات التسلل عبر الهندسة الاجتماعية، محققًا نجاحًا أعلى في الاستخراج ومخاطر كشف أقل مقارنة بالنماذج أحادية الوكيل.
4. رؤى دفاعية: أدلة تجريبية تشير إلى أن هيكل التنسيق، وليس قدرة النموذج الخام، هو ما يقود قوة الهجوم الناشئة، مما يستلقى ضرورة المراقبة الهيكلية لديناميكيات الأدوار.

4. النتائج والتحليل

قارن التقييم CAESAR مقابل النماذج أحادية الوكيل تحت نفس الوصول للأدوات وقيود الميزانية.

• معدلات النجاح والكفاءة: حقق CAESAR تحسنًا مستمرًا في معدلات نجاح المهام وخفض الوقت اللازم للحل عبر جميع فئات CTF الخمس. على سبيل المثال، في فئة الهندسة العكسية (Reverse) باستخدام GPT-5، تحسن معدل النجاح بمقدار +0.36، وانخفض وقت الحل من ~54 دقيقة (الوكيل المنفرد) إلى ~24 دقيقة (متعدد الوكلاء).
• السلوك التكيفي: أظهر إطار العمل سلوكًا تعلميًا تكيفيًا. استقر الأداء بعد عدد قليل من الجولات الناجحة، حيث قامت الذاكرة المقيدة بالمحقق بكبح انتشار الخطأ. أظهرت درجات الأدوار (التي حددها المحقق) إعادة تشكيل بالقرب من عمليات التشغيل الناجحة، مما يشير إلى أن النظام تعلم من التغذية الراجعة الموثقة.
• الاستقلالية عن الخلفية (Backend Agnosticism): كانت فوائد التنسيق ثابتة عبر جميع الخلفيات الأربعة لـ LLM. وبينما تباين الأداء الخام حسب النموذج (على سبيل المثال، أظهر Grok-4 درجات استنتاج أعلى في مهام التشفير)، فإن الربح النسبي الذي وفره هيكل تعدد الوكلاء كان مستقرًا. يشير هذا إلى أن التحسن ينبع من بروتوكول التنسيق وليس من قدرات نماذج محددة.
• الانتقال للهندسة الاجتماعية: في دراسة الهندسة الاجتماعية، حقق فريق متعدد الوكلاء 3/3 من الأسرار التي تم الحصول عليها دون اكتشاف بحلول الجولة العاشرة، بينما حقق نموذج الوكيل المنفرد 1/3 فقط. نجح نهج تعدد الوكلاء في التحول من الاستقصاء المباشر (الذي أدى إلى الكشف) إلى استراتيجيات الاستدراج غير المباشر.

5. الأهمية والادعاءات

يزعم البحث أن التنسيق، وليس ذكاء النموذج الخام، هو العامل المهيمن في فعالية الهجوم الملحوظة.

• الثغرة الهيكلية: تشير النتائج إلى أن المهاجمين المدفوعين بالذكاء الاصطنا𝘃 في المستقبل سيظهرون على الأرجح كـ مجموعات موزعة تتبادل المعلومات الجزئية وتصقل الاستراتيجيات عبر الجولات، بدلاً من حالات "ذكاء فائق" فردية.
• الآثار الدفاعية: إن الضوابط الحالية على مستوى المحتوى (مرشحات المدخلات/المخرجات، طبقات المحاذاة) غير كافية لأنها تقيم الرسائل بشكل منعزل. يمكن للمهاجم المنسق توزيع النوايا عبر الأدوار والجولات، مما يجعل الإشارة الضارة تظهر فقط عند ربط الرسائل ببعضها.
• التحول في الدفاع: يجادل المؤلفون بأن الدفاع يجب أن ينتقل من التصفية القائمة على المحتوى إلى المراقبة الهيكلية لديناميكيات الأدوار، ومصدر المصنوعات، وتشكيل الاستراتيجية عبر الرسائل. تُقترح الإشارات على مستوى البروتوكول التي يظهرها CAESAR (مثل الإشارات المتكررة إلى الكيانات المحمية عبر الوكلاء، والتخصص التدريجي للأدوار) ككميات ضرورية للدفاع الهيكلي.

الاعتراف بالقصور

يشير المؤلفون صراحةً إلى أن:

• تحديات CTF هي نماذج مبسطة للاختراقات الحقيقية، وتفتقر إلى المدافعين النشطين والقيود المستمرة.
• لم يتم اختبار إطار العمل ضد أنظمة إنتاج حقيقية ومحصنة.
• استخدمت دراسة الهندسة الاجتماعية شخصيات قائمة على LLM، وليس بشرًا حقيقيين، مما يحد من الادعاءات حول الفعالية التشغيلية ضد الإدراك البشري الفعلي.
• يفترض البروتوكول وجود وكلاء متعاونين؛ أما الأدوار الخداعية أو المارقة (Byzantine) فهي خارج النطاق.