EGAMA-MF: Evidence-Integrity Gating for Memory-Forensic Malware Triage
تقدم هذه الورقة إطار عمل EGAMA-MF، وهو إطار وسيط يعزز عملية فرز البرمجيات الخبيثة في التحقيق الجنائي للذاكرة من خلال استبعاد متجهات الميزات الصالحة هيكلياً ولكن غير المقبولة جنائياً والناجمة عن فشل الاستخراج، مما يمنع النتائج السلبية الكاذبة ويضمن سلامة الأدلة عبر سيناريوهات الخطأ المتنوعة.
في عالم الأدلة الجنائية الرقمية عالي المخاطر، يعتمد المحققون غالبًا على أدوات مؤتمتة لغربلة الفوضى التي تلي الهجمات السيبرانية. فعندما يتعرض جهاز كمبيوتر للاختراق، تحتفظ ذاكرته بالأدلة الأكثر فورية وتقلبًا: برامج قيد التشغيل، اتصالات مخفية، وكود محقون قد تغفل عنه عمليات الفحص القائمة على الملفات. ولإدراك معنى هذه البيانات، يستخدم الباحثون برمجيات متخصصة لاستخراج مؤشرات محددة، محولين الذاكرة الخام إلى قوائم مهيكلة من الأرقام التي يمكن لنماذج تعلم الآلة تحليلها. والهدف هو اتخاذ قرار سريع بشأن ما إذا كان النظام آمنًا أم أنه يتطلب اهتمام خبير بشري. ومع ذلك، يوجد خلل حرج في هذه العملية: إذا فشلت أداة الاستخراج في العثور على قطعة معينة من الأدلة، فقد يكتفي النظام بتسجيل صفر. وبالنسبة للكمبيوتر، يعني الصفر عادةً "لم يتم العثور على شيء"، ولكن في الواقع، قد يعني "الأداة فشلت في البحث". هذا الغموض يخلق نقطة عمياء خطيرة حيث يُساء فهم المعلومات المفقودة على أنها غياب مؤكد، مما قد يسمح للنظام المخترق بالتسلل عبر الثغرات.
لقد عالج باحث في جامعة سينسيناتي هذه الثغرة بنظام جديد يسمى EGAMA-MF، والذي يعمل كحارس بوابة صارم قبل اتخاذ أي قرار مؤتمت. فبدلاً من الثقة في الأرقام وحدها، يتحقق هذا النظام من القصة الكامنة وراء الأرقام؛ إذ يتأكد من استخراج كل قطعة مطلوبة من الأدلة بنجاح، ومن أن البرامج المستخدمة للعثور عليها قد أنهت عملها دون خطأ، وأن البيانات تأتي من مصدر موثوق. وإذا انكسر أي جزء من هذه السلسلة، يقوم النظام بحظر الحالة من القبول التلقائي، مما يجبرها على الخضوع لمراجعة من قبل محلل بشري. هذا النهج يعامل سلامة الأدلة نفسها كشرط منفصل وغير قابل للتفاوض، متميز عن التنبؤ بما إذا كان النظام مصابًا أم لا.
اختبر الباحث هذا الحارس باستخدام مجموعة بيانات ضخمة تضم أكثر من أحد عشر ألف حالة كمبيوتر معروفة، كان قد أعدها مسبقًا للتحليل. ولمحاكاة الإخفاقات في العالم الحقيقي، قام بتعمد إتلاف البيانات بـ مائة وسبعة طرق مختلفة. فقد أفسد حالة الاستخراج، وحاكى أعطال البرامج، وأدخل حقولًا مفقودة، مما أدى إلى إنشاء أكثر من مليون نسخة معيبة من البيانات. ثم مرر هذه المدخلات المعيبة عبر نظامه الجديد وقارن النتائج بنظام أبسط يكتفي بالتحقق مما إذا كانت الأرقام تبدو صحيحة. كانت النتائج صارخة؛ فقد رصد نظام بوابة الأدلة الجديد كل واحدة من المليون ومائة وأربعين ألفًا وثمانمائة وأربعين مدخلًا معيبًا، وأوقفها قبل أن تصل إلى مرحلة اتخاذ القرار. وفي المق المقابل، سمح النظام الأبسط، الذي يتحقق فقط من شكل البيانات، لأكثر من ثلاثمائة ألف من هذه المدخلات المكسورة بالمرور لأن الأرقام نفسها كانت لا تزال تبدو صالحة.
كما بحثت الدراسة كيفية أداء هذا الحارس في سيناريو واقعي باستخدام حالة معروفة من Digital Corpora، وهي مجموعة من الصور الجنائية الرقمية. في هذه الحالة المحددة، فشل البرنامج المستخدم لاستخراج بيانات الذاكرة في استرداد مكونين حاسمين بسبب خطأ تقني عميق. ولأن النظام الجديد لاحظ هذه القطع المفقودة، فقد أوقف العملية المؤتمتة فورًا وحول الحالة للمراجعة البشرية. وقد وجد الباحث أنه لولا وجود هذه البوابة، لكان النظام قد قبل ما يقرب من أربعين بالمائة من الحالات في مجموعة الاختبار الخاصة به تلقائيًا، رغم أن الأدلة الخاصة بها كانت معيبة. ومن خلال فرض هذا الفحص، يضمن النظام أن الأتمتة لا تحدث إلا عندما تكون الأدلة كاملة وموثوقة.
وبعيدًا عن مجرد رصد الأخطاء، استكشف الباحث كيف يؤثر تغيير قواعد القبول على السلامة. فقد اختبر إعدادات مختلفة لمعرفة عدد الحالات التي يمكن أتمتتها بأمان مقابل تلك التي تحتاج إلى مراجعة بشرية. ووجد أنه يمكنه زيادة عدد الحالات المقبولة تلقائيًا من حوالي اثنين وثلاثين بالمائة إلى ما يقرب من ثمانية وثلاثين بالمائة دون رؤية أي أخطاء في المجموعة المقبولة. ومع ذلك، فإن دفع معدل القبول ليتجاوز أربعين بالمائة أدى إلى ظهور أخطاء، مما يظهر أن هناك حدًا لمدى إمكانية الوثوق بالأتمتة دون زيادة المخاطر. كما أثبت النظام أنه سريع للغاية، حيث يستغرق جزءًا من الملي ثانية للتحقق من كل حالة، مما يعني أنه لا يضيف أي تأخير تقريبًا إلى عملية التحقيق.
هذا العمل لا يحل محل نماذج تعلم الآلة التي تكتشف البرامج الضارة، ولا يحل محل الخبراء البشريين الذين يحللون الحالات المعقدة. بدلاً من ذلك، يقع بين استخراج البيانات واتخاذ القرار، ليعمل كمرشح لضبط الجودة. فهو يضمن أن النماذج تعمل فقط مع أدلة معروفة بأنها كاملة، وأن النماذج لا تضطر للتخمين عما إذا كان الصفر يعني "آمن" أو "معطل". ومن خلال فصل سؤال "هل الدليل صالح؟" عن "ماذا تقول الأدلة؟"، نجح الباحث في إنشاء أساس أكثر موثوقية للأدلة الجنائية الرقمية. وتشير النتائج إلى أنه بينما تعد الأتمتة قوية، إلا أنه يجب اقترانها بفحوصات صارمة لجودة البيانات التي تتلقاها لمنع حالات الفشل الصامت التي قد تعرض الأمن للخطر.
ملخص تقني: EGAMA-MF
بيان المشكلة
تعتمد عملية الفرز الجنائي للملفات الضارة القائمة على الذاكرة (Memory-forensic malware triage) على متجهات الميزات المستخرجة بواسطة أدوات خارجية (مثل Volatility 3). وتوجد ثغرة حرجة عندما تفشل أدوات الاستخراج هذه بسبب حالة الصورة، أو مشكلات في حل الرموز (symbol resolution)، أو ظروف نظام التشغيل. في مثل هذه السيناريوهات، يتم تمثيل المؤشر المفقود غالبًا بقيمة عددية صفرية. ولا تستطيع نماذج تعلم الآلة اللاحقة التمييز بين "الصفر الحقيقي" (المؤشر تم رصده ولكنه غائب) و"الصفر المفقود" (الأداة فشلت في استخراج البيانات). هذا الخلط يسمح بتفسير الأدلة غير المقبولة على أنها غياب مرصود، مما قد يؤدي إلى قرارات مؤتمتة خاطئة. تركز النهج الحالية على تحسين تمثيلات الميزات أو ثقة المصنف، لكنها عمومًا تعامل فشل الاستخراج كحالة قرار منفصلة أو تتجاهله تمامًا.
المنهجية
يقترح المؤلف EGAMA-MF (تحليل البرمجيات الضارة التكيفي ذو البوابة القائمة على الأدلة للتحليل الجنائي للذاكرة)، وهو طبقة وسيطة تقع بين الاستخراج الجنائي والتوجيه التنبئي. يعمل النظام على مبدأ أن التوجيه التنبئي يجب ألا يحدث إلا إذا كانت الأدلة مقبولة.
بنية النظام
مُحول الأثر إلى دليل (Artifact-to-Evidence Adapter):
يستقبل مخرجات جنائية مهيكلة (مثل Volatility JSON، CSV).
يبني سجل أدلة معيارياً يحتوي على معرفات المصدر، الطوابع الزمنية، بصمات SHA-256، ونتائج المحلل/الإضافة (plugin).
يخصص حالات صريحة لكل حقل: مستخرج (extracted)، غير مستخرج (not_extracted)، حقل مفقود (missing_field)، ملف تعريف غير مدعوم (unsupported_profile)، أو خطأ في التحليل (parse_error).
يتحقق من صحة البيانات مقابل مخطط مكون من 13 ميزة مستمدة من أبحاث سابقة موجهة بـ SHAP (مثل svcscan.nservices و malfind.uniqueInjections).
يميز بين المؤشرات "المعدة كحرجة" (prioritized for diagnostics) ومجموعة المؤشرات الكاملة المطلوبة للقبول التلقائي.
بوابة سلامة الأدلة (Evidence-Integrity Gate):
تطبق قاعدة "الإغلاق عند الفشل" (fail-closed). لا تنتقل الحالة إلى التوجيه التنبئي إلا إذا استوفت أربعة شروط:
vi: جميع الحقول الـ 13 المعيارية تستوفي متطلبات المخطط، النوع، والقيمة.
ei: حالات الاستخراج للمحلل، الإضافة، وكل حقل هي حالات مقبولة.
pi: عمليات التحقق من الاستحواذ والمصدر ناجحة.
ui: لم يحدث أي استكمال بيانات (imputation) محظور.
إذا فشل أي شرط (gi=0)، يتم توجيه الحالة للمراجعة اليدوية، ويتم تجاهل درجات الثقة التنبئية. هذا يمنع النموذج عالي الثقة من إخفاء فشل الاستخراج.
السياسة اللاحقة (Downstream Policy):
فقط الحالات التي تجتاز البوابة (gi=1) تتم معالجتها بواسطة سياسة تنبئية ثابتة (EGAMA-RC) والتي توجه الحالات إلى قبول (accept)، مراجعة (review)، تصعيد (escalate)، أو تنبيه لجديد (flag_novel) بناءً على ثقة النموذج، والاعتلاج (entropy)، والحداثة (novelty).
التصميم التجريبي
مجموعة البيانات: 11,720 حالة من تقسيم CIC-Malmem-2022 (5,860 حالة سليمة، 5,860 حالة ضارة).
حقن الخطأ: تم تطبيق 107 عامل خطأ محكوم لتوليد 1,140,840 مدخلًا معيبًا. شملت هذه العوامل أخطاء الحالة/المصدر، فساد الهيكل/القيمة، علامات الاستكمال، وفشل غلاف المحلل (JSON مشوه، مدخلات مبتورة).
المقارنات:
FULL EGAMA-MF: النظام الكامل مع بوابة حالة الأدلة.
التحقق المقتصر على المخطط (Schema-only): متحقق يفحص فقط هوية المخطط والأنواع العددية، ويتجاهل حالة الاستخراج.
NO_C: نسخة تمت فيها إزالة مصطلح "المعد كحرج".
حالة واقعية: حالة Digital Corpora M57-Patents حيث فشلت إضافات Volatility (ldrmodules, malfind) بسبب أخطاء وقت التشغيل.
المقاييس: معدل احتواء الخطأ (FCR)، معدل مرور الأدلة غير المقبولة (IPR)، والتعرض للقبول التلقائي اللاحق (DAE).
النتائج الرئيسية
احتواء الخطأ
FULL EGAMA-MF: حقق معدل احتواء خطأ (FCR) بنسبة 100%. لقد حظر جميع المدخلات المعيبة البالغ عددها 1,140,840 وحول جميع الضوابط النظيفة البالغة 35,160.
متحقق المخطط فقط (Schema-only): احتوى على 73.29% فقط من الأخطاء. والأهم من ذلك، أنه مرر 304,720 متغيرًا صالحًا عدديًا ولكن غير مقبول (أخطاء الحالة، المصدر، والاستكمال) إلى التوجيه اللاحق.
التعرض المضاد للواقع (Counterfactual Exposure): بدون بوابة الأدلة، كان 32.43% إلى 40.03% من المجموعة (اعتمادًا على السياسة) سيبقى ضمن مجموعة القبول التلقائي رغم امتلاكه لأدلة غير مقبولة.
متانة المحلل (Parser Robustness): فشلت جميع إصلاحات المحلل (4,000 إصلاح) (JSON مشوه، مدخلات فارغة، إلخ) بأمان دون استثناءات غير معالجة.
الحتمية: أنتجت ثلاث تكرارات حتمية نتائج متطابقة.
حساسية السياسة
تم التقييم على تقسيم 11,720 حالة باستخدام خمسة إعدادات توجيه:
الأساس المحافظ (Conservative Baseline): معدل قبول 32.43%، 0 أخطاء.
تغطية متوسطة (Moderate Coverage): معدل قبول 37.68%، 0 أخطاء.
تغطية عالية (High Coverage): معدل قبول 40.03%، تسبب في 16 خطأ (معدل خطأ 0.34% داخل مجموعة المقبول).
حالة M57: حدد النظام بشكل صحيح الاستخراج غير المكتمل (بسبب فشل الإضافات) ووجه الحالة للمراجعة، مما منع القبول التلقائي.
الأداء
متوسط وقت تشغيل البوابة فقط: 0.0100 مللي ثانية لكل حالة.
وقت التشغيل عند p95: 0.0143 مللي ثانية.
المساهمات والأهمية
يدعي البحث وجود ثلاث مساهمات رئيسية:
مُحول الأثر إلى دليل: آلية تتحقق من المدخلات الجنائية المهيكلة، وتحافظ على مصدر SHA-256 ونتائج المحلل، وتخصص صراحةً حالة للحقول غير المتوفرة دون تحويلها إلى قيم عددية.
بوابة صلاحية الأدلة: تحكم صارم يسبق التوجيه التنبئي يفرض قاعدة الإغلاق عند الفشل للمتجهات غير المكتملة أو حالات الاستخراج غير الناجحة. هذا يفصل سلامة الأدلة عن الثقة التنبئية.
تقييم شامل: إطار تقييم باستخدام 107 عامل خطأ، ومقارنات المخطط فقط، وفشل الاستخراج الواقعي لإثبات أن بوابة حالة الأدلة هي تحكم متميز لاحتواء الفشل.
الأهمية: يجادل المؤلف بأن EGAMA-MF يعالج فجوة محددة في تعلم الآلة الجنائي: عدم قدرة النماذج اللاحقة على التمييز بين "الغياب المرصود" و"فشل الاستخراج". من خلال معاملة سلامة الأدلة كشرط مسبق للتوجيه، يمنع النظام النماذج المعايرة وعالية الثقة من اتخاذ قرارات بناءً على بيانات ناقصة أو غير مقبولة. تدعم النتائج استخدام بوابة حالة الأدلة كطبقة تحكم ضرورية، رغم أن المؤلف يؤكد أن هذا لا يحل محل الحاجة إلى التحقق عبر صور ذاكرة خام مستقلة أو حكم المحلل.
القيود
يشير البحث صراحةً إلى عدة قيود:
الحمل المتحكم فيه يحول تقسيمًا مهيكلًا ثابتًا ولا يقدر انتشار فشل الحقول في العالم الحقيقي.
التحقق من الذاكرة الخام محدود بحالة M57 واحدة ولا يغطي أنظمة تشغيل أو إصدارات Volatility متنوعة.
افتقرت مجموعة البيانات إلى السجلات ذات القيم الصفرية المؤهلة لإضافات معينة (malfind, ldrmodules)، مما تطلب إصلاحات منفصلة لتلك الضوابط السلبية المحددة.
تم تقييم إعدادات السياسة على قسم واحد محجوز وليس على مجموعات تحقق مستقلة.
لم يتم تقييم سهولة استخدام المحلل أو جودة التفسير.