Behavior-Specialized Anomaly Detection for Improving Alert Quality in Provenance-Based Intrusion Detection
تقدم هذه الورقة "Targeter"، وهو إطار عمل متخصص في السلوك يقوم بتقسيم عمليات النظام إلى فئات وتدريب مشفرات تلقائية رسومية خفيفة الوزن ومخصصة لكل منها، مما يحقق توازناً متفوقاً بين الدقة والاستدعاء وجودة تنبيهات محسنة في كشف التسلل القائم على المصدر مع الحفاظ على تكلفة حوسبة منخفضة.
في العالم الرقمي، يترك كل إجراء يتخذه الكمبيوتر أثراً، تماماً مثل آثار الأقدام في الثلج. فعندما يفتح مستخدم ملفاً، أو يشغل برنامجاً، أو يرسل رسالة، يقوم النظام بتسجيل من فعل ماذا، ومتى، وبأي أدوات. يستخدم خبراء الأمن هذه السجلات لبناء خريطة للسبب والنتيجة، توضح كيف يؤدي حدث واحد إلى آخر. تُسمى هذه الخريطة "رسم بياني للمصدر" (provenance graph). لسنوات، حاول الباحثون استخدام هذه الخرائط لرصد الهجمات السيبرانية، آملين في العثور على الخطوات الخفية التي يتخذها المتسلل لسرقة البيانات أو إلحاق الضرر بالنظام. ومع ذلك، فإن التحدي يكمن في أن هذه الخرائط هائلة ومعقدة للغاية؛ إذ يمكن لجهاز كمبيوتر واحد أن يولد ملايين من هذه الروابط في وقت قصير، ومعظمها طبيعي تماماً. وعندما يحاول نظام أمني البحث عن الفاعلين السيئين وسط هذا الحشد الهائل، فإنه غالباً ما يصاب بالارتباك؛ فقد يطلق إنذاراً لملف غير ضار لمجرد أنه يبدو غريباً بعض الشيء، أو قد يغفل عن عملية خطيرة لأنها تختبئ بين ملايين العمليات العادية. والنتيجة غالباً ما تكون فيضاً من الإنذارات الكاذبة التي تثقل كاهل المحللين البشريين، أو الأسوأ من ذلك، فشلاً صامتاً في رؤية هجوم جارٍ بالفعل.
لقد اقترح فريق من الباحثين في جامعة شريف التكنولوجية في إيران طريقة جديدة لحل هذه المشكلة عبر تغيير كيفية نظر الكمبيوتر إلى البيانات. فبدلاً من محاولة تعليم برنامج كمبيوتر واحد ضخم فهم كل أنواع النشاط الممكنة على الجهاز، قرروا تقسيم المشكلة إلى قطع أصغر وأكثر قابلية للإدارة. لقد أدركوا أن أنواعاً مختلفة من برامج الكمبيوتر تتصرف بطرق متميزة جداً؛ فمتصفح الويب، على سبيل المثال، يفتح اتصالات شبكية ويقرأ أنواعاً محددة من الملفات بشكل طبيعي. بينما يتصرف أداة نظام تدير الساعة بشكل مختلف، ولواجهة سطر الأوامر (command-line shell) التي يستخدمها المسؤولون إيقاعها الفريد الخاص. وعندما يحاول نموذج كشف واحد تعلم السلوك "الطبيعي" لكل هذه البرامج المختلفة في آن واحد، فإنه يكافح للتمييز بين التباين غير الضار والتهديد الحقيقي.
ولمعالجة ذلك، أنشأ الباحثون نظاماً أطلقوا عليه اسم "تارغيتر" (Targeter). يقوم هذا النظام أولاً بفرز كل برنامج يعمل على الكمبيوتر إلى مجموعات محددة بناءً على ما يفعله فعلياً؛ حيث يذهب متصفح الـويب إلى مجموعة واحدة، ومحرر النصوص إلى أخرى، وخدمة النظام إلى ثالث. وبمجرد فرز البرامج، يقوم النظام بتدريب كاشف متخصص ومنفصل لكل مجموعة. يتعلم الكاشف الخاص بمتصفحات الويب فقط كيف يبدو سلوك المتصفح الطبيعي، بينما يتعلم الكاشف الخاص بخدمات النظام فقط كيف يبدو سلوك النظام الطبيعي. ولأن كل كاشف يركز على مجموعة ضيقة ومتسقة من الأنشطة، فإنه يصبح أفضل بكثير في رصد أي شيء غريب يحدث ضمن تلك المجموعة؛ فهو لا يحاول أن يكون خبيراً في كل شيء، بل هو خبير في شيء واحد محدد.
اختبر الباحثون هذا النهج باستخدام بيانات من برنامج "داربا للحوسبة الشفافة" (DARPA Transparent Computing)، وهي مجموعة من سجلات النظام الواقعية التي تتضمن نشاطاً طبيعياً وهجمات سيبرانية متطورة. وقارنوا نظامهم الجديد بعدة طرق موجودة حالياً وتعتبر الأفضل في هذا المجال. وأظهرت النتائج أن "تارغيتر" حقق توازناً أفضل بين رصد الهجمات الحقيقية وتجنب الإنذارات الكاذبة. فغالباً ما كان على الأنظمة السابقة الاختيار بين أن تكون صارمة جداً فتفقد العديد من الهجمات، أو أن تكون متساهلة جداً فترصد آلاف البرامج البريئة كأنها مشبوهة. استطاع "تارغيتر" رصد جزء أكبر من خطوات الهجوم الفعلية مع إبقاء عدد الإنذارات الكاذبة منخفضاً بما يكفي ليكون مفيداً للمحققين البشريين. وفي اختبار تضمن مجموعة بيانات تحتوي على أكثر من مليون حدث نظام، حدد النظام الجديد عدداً أكبر بكثير من العقد المرتبطة بالهجوم مقارنة بمنافسيه دون إغراق المحلل بالضجيج.
كان جزء رئيسي من النجاح هو كيفية تعامل النظام مع البيانات بعد الكشف الأولي. فقد أضاف الباحثون خطوة نهائية حيث ينظر النظام في الروابط بين العناصر المشبوهة التي وجدها؛ فإذا رصد ملفاً مشبوهاً مرتبطاً بعملية مشبوهة، فإنه يضيف ذلك الملف إلى قائمة الأشياء التي يجب التحقيق فيها، حتى لو لم يبدُ الملف غريباً في حد ذاته. يساعد هذا في ضمان أن التحقيق يغطي المسار الكامل للهجوم، بدلاً من مجرد أجزاء معزولة. كما تحقق الفريق من مقدار قوة الحوسبة التي يتطلبها هذا الأسلوب الجديد، ووجدوا أنه سريع وفعال، ويعمل بسلاسة على معالجات الكمبيوتر القياسية دون الحاجة إلى أجهزة متخصصة باهظة الثمن، مما يشير إلى أن هذا النهج يمكن أن يكون عملياً للاستخدام في العالم الحقيقي، وليس فقط في مختبر بحثي.
تشير الدراسة إلى أن الطريق نحو اكتشاف الهجمات السيبرانية لا يكمن بالضرورة في بناء نماذج أكبر وأكثر تعقيداً، بل في بناء نماذج أذكى وأكثر تركيزاً. فمن خلال الإقرار بأن متصفح الويب وأداة النظام مختلفان جوهرياً، ومن خلال منح كل منهما مراقباً مخصصاً، يكتسب النظام رؤية أوضح لما هو خاطئ حقاً. وأشار الباحثون إلى أنه بينما يعمل أسلوبهم بشكل جيد، فإنه يعتمد حالياً على البشر لتحديد فئات البرامج. وفي المستقبل، يأملون في تطوير طريقة تمكن النظام من اكتشاف هذه الفئات من تلقından. أما في الوقت الحالي، فإن هذا العمل يثبت أن الاهتمام بالطبيعة المحددة لما يفعله البرنامج، بدلاً من مجرد شكله في الرسم البياني للبيانات، يمكن أن يؤدي إلى تنبيهات أمنية أكثر دقة وموثوقية.
ملخص تقني: Targeter – كشف الشذوذ المتخصص سلوكياً في أنظمة كشف التسلل القائمة على المصدر (Provenance)
بيان المشكلة
تعتمد أنظمة كشف التسلل القائمة على المصدر (PIDSs) على نمذجة العلاقات السببية بين كيانات النظام (العمليات، الملفات، المقابس/Sockets) لكشف الهجمات المتطورة. ومع ذلك، فإن فائدتها العملية محدودة حالياً بسبب رداءة جودة التنبيهات، والتي تتميز بمقايضة جوهرية بين الدقة (Precision) والاستدعاء (Recall):
الكشف خشن الحبيبات (Coarse-Grained): غالباً ما تُصدر النهج المبكرة تنبيهات على رسوم بيانية (subgraphs) أو مسارات تحتوي على عقد سليمة وخبيثة معاً، مما يجبر المحللين على تحديد الكيانات المخترقة يدوياً.
دقة منخفضة: غالباً ما تولد النهج الحديثة على مستوى العقد (node-level) عدداً هائلاً من الإيجابيات الكاذبة، مما يغرق المحللين بالضجيج.
تغطية هجوم منخفضة (استدعاء منخفض): الطرق التي تعمل على كبح الإيجابيات الكاذبة قد تفوت أجزاءً كبيرة من الهجوم، مما يترك التحقيقات الجنائية غير مكتملة.
عادةً ما تستخدم أنظمة PIDSs الحالية على مستوى العقد كاشف شذوذ واحداً لنمذجة جميع عمليات النظام. ويرى المؤلفون أن هذا الأمر غير مثالي لأن فئات العمليات المختلفة (مثل متصفحات الويب مقابل خدمات النظام) تظهر أنماطاً سلوكية مختلفة جوهرياً. إن نمذجة هذه السلوكيات غير المتجانسة ضمن آلية واحدة يجعل من الصعب التمييز بين التباينات السليمة والشذوذ الحقيقي.
المنهجية: إطار عمل Targeter
يقترح البحث Targeter، وهو إطار عمل لكشف التسلل على مستوى العقد، متخصص سلوكياً. بدلاً من استخدام كاشف أحادي، يقوم Targeter بتقسيم العمليات إلى فئات ذات معنى سلوكي وتدريب مشفر تلقائي رسومي (Graph Autoencoder) خفيف الوزن ومخصص لكل فئة.
المكونات الأساسية
بناء الرسم البياني للمصدر (P-Graph): يتم تحويل سجلات تدقيق النظام إلى رسم بياني للمصدر حيث تمثل العقد الكيانات وتمثل الحواف التفاعلات. يتم إزالة الحواف المكررة للحفاظ على البنية السببية مع تقليل التكرار.
التضمين الأولي (Initial Embedding): يتم تحويل سمات العقد (مسارات الملفات، سطور الأوامر، عناوين IP) إلى رموز (tokens) وتضمينها باستخدام Word2Vec لإنشاء ناقلات ميزات أولية. يتم تجريد المكونات غير الدلالية (مثل معرفات العمليات PID) لتحسين القدرة على التعميم.
استخراج الرسم البياني الفرعي (التخصص السلوكي):
يتم تعيين العمليات بشكل حتمي إلى فئات سلوكية محددة مسبقاً (مثل "متصفحات الويب"، "سطر الأوامر وShell"، "خدمات النظام") بناءً على دلالات سطر الأوامر والأدوار الوظيفية.
يتم تفكيك الرسم البياني للمصدر إلى رسوم بيانية فرعية خاصة بكل فئة. يتضمن كل رسم بياني فرعي العمليات التابعة لفئة معينة وجيرانها الداخلين ضمن k-hop (الملفات، العقد الشبكية، والعمليات الأخرى).
تدريب النموذج المتخصص سلوكياً:
يتم تدريب مشفر تلقائي رسومي (GAE) مستقل لكل فئة سلوكية باستخدام الرسم البيئي الفرعي المقابل فقط.
تتكون البنية من ثلاث طبقات من الشبكات العصبية التلافيفية الرسومية (GCN) للترميز وطبقات متصلة بالكامل لفك الترميز.
الهدف هو غير مُشرف (unsupervised): تقليل متوسط مربع الخطأ (MSE) بين الميزات الأصلية والمُعاد بناؤها. يسمح هذا لكل نموذج بتعلم التوزيع "الطبيعي" الخاص بالفئة المخصصة له دون تداخل من سلوكيات العمليات غير ذات الصلة.
كشف الشذوذ المتخصص سلوكياً:
أثناء الاستدلال، يتم توجيه العملية إلى النموذج الخاص بفئتها.
يتم حساب درجة الشذوذ كخطأ إعادة البناء. تُصنف العقد كعقد مشبوهة إذا تجاوزت درجتها عتبة خاصة بالفئة وكانت تنتمي لتلك الفئة.
المعالجة اللاحقة (Post-Processing):
إزالة العقد المعزولة: يتم إزالة العقد التي ليس لها جيران شاذين ضمن نطاق خطوتين (two hops) لتصفية الإيجابيات الكاذبة. ست إضافة العقد الرابطة: يتم إضافة العقد التي تقع على مسارات بين الكيانات المشبوهة المكتشفة لضمان تغطية كاملة للهجوم (من خلال التقاط الكيانات السلبية مثل الملفات أو مقابس الشبكة).
التمييز عن "خليط الخبراء" (Mixture of Experts - MoE)
على الرغم من الاستلهام من مبدأ "خليط الخبراء" القائم على التخصص، إلا أن Targeter يختلف عنه بشكل كبير: فهو لا يستخدم آلية بوابة متعلمة أو تنافس بين الخبراء. التوجيه حتمي بناءً على فئات محددة مسبقاً، مما يسمح للمؤلفين بعزل تأثير التخصص السلوكي عن تعقيد التوجيه المتعلم.
المساهمات الرئيسية
إعادة صياغة جودة التنبيه: يؤكد البحث أن تقييم أنظمة PIDSs بناءً على الدقة أو الاستدعاء فقط هو أمر غير كافٍ. ويحث على استخدام F2-score (الذي يعطي وزناً أعلى للاستدعاء مقارنة بالدقة) كمعيار أساسي، مما يعكس الواقع الجنائي بأن تفويت كيانات الهجوم غالباً ما يكون أكثر ضرراً من التحقيق في الإنذارات الكاذبة.
فرضية التخصص السلوكي: يبحث العمل ويتحقق من فرضية أن نمذجة فئات العمليات المختلفة بشكل منفصل يحسن من توصيف النشاط الطبيعي، مما يعزز كلاً من الدقة والاستدعاء.
إطار عمل Targeter: تقديم إطار عمل حتمي ومتخصص سلوكياً يحقق كشفاً عالي الجودة على مستوى العقد مع عبء حوسبي منخفض.
النتائج التجريبية
تم تقييم إطار العمل على ست مجموعات بيانات مرجعية من DARNA Transparent Computing (Engagement 3 و Engagement 5 عبر THEIA و CLEARSCOPE و CADETS).
جودة التنبيه (RQ1): حقق Targeter توازناً متفوقاً بين الدقة والاستدعاء مقارنة بالنماذج المرجعية الحالية على مستوى العقد (ORTHRUS, MAGIC, FLASH, THREATRACE).
مقارنة بـ ORTHRUS (دقة عالية، استدعاء منخفض)، حسن Targeter الاستدعاء بشكل كبير مع الحفاظ على دقة مقبولة.
مقارنة بـ MAGIC (استدعاء عالٍ، دقة منخفضة للغاية بسبب الإيجابيات الكاذبة الهائلة)، قلل Targeter الإيجابيات الكاذبة بشكل جذري مع اكتشاف جزء أكبر من كيانات الهجوم.
حقق Targeter باستمرار درجات F2-score أعلى في معظم مجموعات البيانات.
مساهمة التخصص (RQ2): أظهرت دراسات الاستئصال (Ablation studies) أن إزالة التخصص السلوكي (باستخدام نموذج واحد لجميع العمليات) أو استخدام التصنيف العشوائي أدى إلى انخفاض في الإيجابيات الحقيقية (True Positives) وارتفاع في الإيجابيات الكاذبة (False Positives). وهذا يؤكد أن تجميع العمليات حسب السلوك يوفر بيانات تدريب أكثر تجانساً للكواشف.
تأثير المعالجة اللاحقة (RQ3): حسنت المعالجة اللاحقة من F2-score من خلال زيادة الاستدعاء (عبر إضافة العقد الرابطة) مع إدارة الدقة (عبر إزالة العقد المعزولة).
الكفاءة الحوسبية (RQ4):
الاستدلال: أظهر Targeter أسرع أوقات الاستدلال عبر جميع مجموعات البيانات وكان أكثر قدرة على التوسع مع حجم مجموعة البيانات مقارنة بالمنافسين.
استخدام الموارد: أظهر استهلاكاً منخفضاً لذاكرة وحدة معالجة الرسومات (GPU) والقدرة على الاستخدام.
قابلية التنفيذ على المعالج (CPU): Targeter عملي للتطبيق على معالجات الكمبيوتر العادية بدون وحدات معالجة رسومات مخصصة، حيث يمكنه معالجة أيام من نشاط النظام في دقائق مع استخدام متوسط للذاكرة.
الأهمية والقيود
الأهمية: يزعم البحث أن Targeter يثبت أن التخصص السلوكي هو آلية قابلة للتطبيق لتحسين جودة التنبيه في الكشف القائم على المصدر. ومن خلال الاعتراف بأن عمليات النظام المختلفة لها معايير سلوكية متميزة، يتجنب إطار العمل فخ النمذجة التي تتبع مبدأ "مقاس واحد يناسب الجميع". كما توفر البنية المجزأة فوائد عملية، مثل القدرة على إعادة تدريب نماذج فئات معينة استجابة لتغيرات النظام (تغير الطبيعة/Normality shift) والمرونة في تطبيق سياسات كشف خاصة بكل فئة.
القيود: يشير المؤلفون صراحةً إلى بعض القيود:
التصنيف اليدوي: يعتمد التنفيذ الحالي على فئات سلوكية محددة يدوياً. لا يزال الاكتشاف التلقائي لهذه الفئات مشكلة بحثية مفتوحة.
التخصص المرتكز على العمليات: يتم تطبيق التخصص حالياً فقط على عقد العمليات؛ أما الملفات والكيانات الشبكية فيتم نمذجتها عبر تفاعلاتها ولكن ليس لها فئات سلوكية مخصصة.
النطاق: يقتصر التقييم على مجموعات بيانات المضيف الواحد (Single-host). تتطلب قدرة أداء إطار العمل في بيئات متعددة المضيفين واسعة النطاق أو بيئات إنتاج متطورة باستمرار مزيداً من الاستقصاء.