Fortifying Time Series: DTW-Certified Robust Anomaly Detection

ملخص تقني: تحصين السلاسل الزمنية: كشف الشذوذ القوي المعتمد على مسافة DTW

بيان المشكلة
يعد كشف الشذوذ في السلاسل الزمنية أمراً بالغ الأهمية لضمان السلامة في المجالات عالية المخاطر مثل الرعاية الصحية، والتمويل، وشبكات الهاتف المحمول. ومع ذلك، فإن هذه الأنظمة عرضة للهجمات العدائية حيث يمكن للاضطرابات المصممة بدقة واستراتيجية أن تتملص من الكشف. تعتمد آليات الدفاع الحالية إلى حد كبير على قيود $\ell_p$-norm لضمان المتانة. ويجادل المؤلفون بأن مقاييس $\ell_p$-norms غير متوافقة جوهرياً مع بيانات السلاسل الزمنية لأنها تفشل في التقاط الهياكل الزمنية الجوهرية. فالتحريفات الزمنية الصغيرة، مثل الإزاحة أو إعادة القياس، يمكن أن تزيد بشكل كبير من مسافات $\ell_p$-norm دون تغيير الدلالات الأساسية للبيانات. وبناءً على ذلك، فإن الدفاعات المعتمدة على $\ell_p$-norms توفر حماية غير كافية ضد الهجمات التي تستغل عدم المحاذاة الزمنية. ونظراً لأن "تحويل المسافة الزمني الديناميكي" (DTW) هو مقياس التشابه القياسي للسلاções الزمنية لقدرته على التعامل مع المحاذاة الزمنية، فلا توجد حالياً أي نتائج مثبتة للمتانة المعتمدة على هذا المقياس.

المنهجية
يقترح البحث أول إطار عمل لـ المتانة المعتمدة على DTW في كشف الشذوذ في السلاسل الزمنية من خلال تكييف نموذج التنعيم العشوائي (randomized smoothing). يربط النهج الجوهري بين ضمانات $\ell_p$-norm ومسافة DTW من خلال تحويل الحد الأدنى.

1. تنعيم المئينات (Percentile Smoothing): بدلاً من التنعيم العشوائي القياسي الذي يعتمد على متوسط ضوضاء غاوس (والذي يؤدي غالباً إلى حدود فضفاضة لدرجات الشذوذ غير المحدودة)، يستخدم المؤلفون تنعيم المئينات. يقومون ببناء دالة درجة شذوذ سلسة $h_p(x)$ تحدد مئيني الناتج للدالة الأساسية تحت ضوضاء غاوس. هذا النهج أكثر متانة تجاه القيم المتطرفة والتباين في توزيع المخرجات.
2. تحويل الحد الأدنى (Lower-Bound Transformation): لترجمة شهادات $\ell_p$-norm إلى شهادات DTW، يستفيد المؤلفون من حد كيو (Keogh Lower Bound) ($LB_{Keogh}$). يقرب هذا الحد مسافة DTW بكفاءة عبر حساب المسافة بين التسلسل المضطرب و"الأغلفة" (الحدود العليا والسفلى) للتسلسل الأصلي ضمن نافذة تغليف.
3. الاشتقاق النظري: اشتق المؤلفون تعبيراً مغلق الصيغة لـ نصف قطر DTW المعتمد ($e$). يسير المنطق كما يلي:
   • تحديد نصف قطر معتمد $r$ في فضاء $\ell_2$-norm حيث تظل قرارات النموذج السلس ثابتة.
   • استخدام Lemma 3.2 لإثبات أنه إذا كانت نقطة ما تقع ضمن مسافة DTW قدرها $e$ من المدخل، فيجب أن تقع أيضاً ضمن كرة $\ell_2$ بنصف قطر $r$، بشرما إذا تم تعريف $e$ عبر الحد الأدنى لـ Keogh خارج كرة $\ell_2$.
   • توفر Theorem 3.3 الصيغة الصريحة لـ $e$ بناءً على مستوى الضوضاء $\sigma$، وعتبات المئينات، والخصائص الهيكلية لأغلفة Keogh (تحديداً الفراغ $\Delta_i$ ومجموع الفراغات $R$).
4. استقلالية النموذج (Model Agnosticism): إطار العمل مستقل عن النموذج؛ فهو لا يتطلب إعادة تدريب، ويمكن تطبيقه على أي كاشف شذوذ مدرب مسبقاً عبر تغليفه بطبقات التنعيم والاعتماد.

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

• أول دفاع معتمد على DTW: يقدم البحث أول إطار نظري يوفر ضمانات متانة معتمدة خصيصاً لمسافة DTW في كشف الشذوذ في السلاسل الزمنية.
• آلية قابلة للتعميم: يتكامل الدفاع المقترح بسلاسة مع نماذج كشف الشذوذ الموجودة (مثل COUTA وTimesNet وDeepSVDDTS) دون تعديل عملية التدريب.
• الجسر النظري: يرسخ العمل رابطاً رسمياً بين شهادات $\ell_p$-norm ومتانة DTW عبر حد كيو (Keogh Lower Bound)، مشتقاً تعبيراً مغلق الصيغة لنصف قطر الاعتماد.

النتائج التجريبية
قيم المؤلفون طريقتهم عبر سبعة مجموعات بيانات مرجعية (بما في ذلك مجموعات SMAP وMSL وSMD وNIPS-TS) وثلاث بنيات هندسية رائدة لكشف الشذوذ.

• المتانة تحت الهجوم: تحت هجمات عدائية قوية تعتمد على DTW (مع ميزانية هجوم $e_{att} = 1.0$)، تفوق الدفاع المعتمد على DTW بشكل كبير على كل من النماذج غير المدافعة ونماذج $\ell_p$-norm المعتمدة التقليدية.
• مكاسب الأداء: حققت الطريقة تحسناً يصل إلى 18.7% في مقياس F1-score مقارنة بنماذج $\ell_p$-norm المعتمدة في مجموعات بيانات محددة (مثل UCR-1) تحت الهجوم.
• نسبة الاعتماد: نجح إطار العمل في اعتماد نسبة عالية من مدخلات الاختبار (على سبيل المثال، ما يصل إلى 99.46% في مجموعة بيانات NIPS-TS-WATER) بنصاف أقطار متانة غير صفرية.
• المقايضات: سلطت التجارب الضوء على المقايضة بين مستوى ضوضاء التنعيم ($\sigma$) وأداء الكشف. غالباً ما أدت قيم $\sigma$ المتوسطة إلى تحسين التعميم، بينما أدت القيم الكبيرة جداً إلى تدهور درجات F1 وROC AUC، رغم أنها زادت من نصف قطر الاعتماد.

الأهمية والادعاءات
يزعم البحث أن ضمانات المتانة المتوافقة مع DTW، بدلاً من $\ell_p$-norms، ضرورية لتوفية دفاع فعال في كشف الشذوذ في السلاسل الزمنية. ويؤكد المؤلفون أن طريقتهم توفر ضمانات رسمية ومثبتة ضد أسوأ السيناريوهات العدائية المتعلقة بالاضطرابات الزمنية، مما يعالج فجوة حرجة في التطبيقات الحساسة للسلامة. ومن خلال إثبات أن دفاعات DTW المعتمدة توفر مرونة فائقة ضد الهجمات الزمنية مقارنة بطرق $\ell_p$ الحالية، يضع هذا العمل معياراً جديداً للموثوقية التشغيلية في أنظمة مراقبة السلاسل الزمنية. ويشير المؤلفون إلى أنه بينما تسبب عينات مونت كارلو عبئاً إضافياً في وقت الاختبار، إلا أن النهج يوفر طريقة منهجية لقياس وتحسين المتانة في البيئات عالية المخاطر.