⚡ electrical engineering

A Nonlinear Incremental Approach for Replay Attack Detection

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

المؤلفون الأصليون: Tao Chen, Andreu Cecilia, Lei Wang, Daniele Astolfi, Zhitao Liu

نُشر 2026-03-31

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Tao Chen, Andreu Cecilia, Lei Wang, Daniele Astolfi, Zhitao Liu

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك حارس أمن لمصنع عالي التقنية (نظام سيبراني-فيزيائي). هذا المصنع لديه "دماغ" (كمبيوتر) يتحدث مع الآلات (المنشأة الفيزيائية) عبر شبكة لاسلكية. ترسل الآلات تقارير عن حالتها (بيانات المستشعرات)، ويرسل الدماغ تعليمات حول ما يجب فعله لاحقاً.

المشكلة: هجوم "الشبح"

في أحد الأيام، يقرر أحد المخترقين القيام بمقلب. بدلاً من الاقتحام وتحطيم الأشياء، يقوم فقط بـ تسجيل عمليات المصنع الطبيعية لفترة من الوقت. ثم يضغط على زر "تشغيل" على التسجيل، ويرسل تلك التقارير القديمة والطبيعية مرة أخرى إلى الدماغ، بينما يرسل سراً أوامر خبيثة للآلات لإتلافها.

يُسمى هذا هجوم إعادة التشغيل (Replay Attack). الأمر يشبه لصاً يسجل صوتك وأنت تقول "مرحباً" ثم يعيد تشغيله في نظام أمان منزلك الذكي ليخدعه ويوهمه بأنك في المنزل، بينما هو في الواقع يقتحم منزلك.

فشل الحارس القديم:
يستخدم المصنع فحصاً أمنياً قياسياً يسمى "كاشف الابتكار" (Innovation Detector). هو ببساطة يسأل: "هل التقرير القادم يتوافق مع ما كنت أتوقعه؟"

الثغرة: إذا كان المصنع يعمل بسلاسة وقام المخترق بتشغيل تسجيل مثالي للماضي، فإن التقارير ستتطابق بالفعل مع ما يتوقعه الدماغ. عندها سيعتقد الكاشف: "كل شيء يبدو طبيعياً"، ويظل صامتاً. وهكذا ينجح الهجوم.

الحل الجديد: "العلامة المائية" (The Watermark)

لإيقاف المخترق، يقترح المؤلفون إضافة علامة مائية.

فكر في هذا الأمر كحارس أمن يهمس بكلمة سرية عشوائية في أذن الآلة كل بضع ثوانٍ (إضافة إشارة عشوائية صغيرة إلى مدخل التحكم).

التشغيل الطبيعي: تسمع الآلة الكلمة السرية، فتقوم بشيء مختلف قليلاً نتيجة لذلك، ثم يبلغ المستشعر عن هذا التغيير. يتحقق الحارس من التقرير، ويرى التغيير، ويقول: "جيد، الكلمة السرية نجحت".
تحت الهجوم: يكون المخترق بصدد تشغيل تسجيل قديم. هذا التسجيل لا يحتوي على الكلمة السرية الجديدة التي همس بها الحارس للتو. عندما تحاول الآلة الاستجابة لهذا التسجيل القديم، فإنها لا تتحرك بالطريقة التي ينبغي أن تكون عليها. فيبدو تقرير المستشعر "قديماً" أو "غير متزامن".
النتيجة: يرى الحارس عدم التطابق، ويدرك: "مهلاً، هذا التقرير من الأمس! نحن نتعرض لهجوم!" ويطلق الإنذار.

العقبة: مشكلة "الضجيج"

الجزء الصعب هنا هو أن إضافة كلمة سرية (علامة مائية) تشبه إضافة القليل من التشويش إلى محطة راديو.

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

بالنسبة لـ الأنظمة الخطية (الآلات البسيطة والمتوقعة)، عرف المهندسون بالفعل كيفية إيجاد التوازن المثالي. ولكن بالنسبة لـ الأنظمة غير الخطية (الآلات المعقدة وغير المتوقعة مثل الروبوتات ذات المفاصل أو المصانع الكيميائية)، فإن الأمر أصعب بكثير. لا يمكنك مجرد استخدام معادلة بسيطة؛ إذ تصبح الرياضيات معقدة للغاية.

الفكرة الكبرى للمقال: "المكاسب المتزايدة" (Incremental Gains)

طور المؤلفون مجموعة أدوات رياضية جديدة تسمى المكاسب المتزايدة.

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

الخطة الرئيسية: التصميم المشترك (Co-Design)

المقال لا يقترح فقط إضافة علامة مائية، بل يقترح إعادة تصميم الفريق بأكم ليعملوا معاً.

المتحكم (The Controller): الدماغ الذي يعطي الأوامر.
المراقب (The Observer): الدماغ الذي يخمن ما تفعله الآلة.
مولد العلامة المائية (The Watermark Generator): الذي يضيف الكلمات السرية.

عادةً، يتم تصميم هذه العناصر بشكل منفصل. لكن المؤلفين ابتكروا خوارزمية (وصفة خطوة بخطوة) تصمم الثلاثة في وقت واحد. الأمر يشبه تدريب فريق كرة قدم حيث يتم تحسين المدرب واللاعبين والاستراتيجية معاً للفوز بالمباراة، بدلاً من اختيار لاعبين عشوائيين والأمل في أن يعملوا معاً.

النتائج

قاموا باختبار ذلك على ذراع روبوت محاكى (روبوت أحادي الوصلة).

بدون الطريقة الجديدة: لم يستطع الروبوت التمييز بين هجوم حقيقي وبين التشغيل الطبيعي.
باستخدام الطريقة الجديدة: اكتشف الروبوت الهجوم فوراً تقريباً.
الميزة الإضافية: على الرغم من إضافة "الضجيج" (العلامة المائية) للإمساك بالمخترق، إلا أن الروبوت ظل يتحرك بسلاسة ولم يتعطل.

الملخص

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

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "نهج تزايدي غير خطي للكشف عن هجمات إعادة التشغيل" (A Nonlinear Increical Approach for Replay Attack Detection):

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

تتناول الورقة التحدي الأمني الحرج المتمثل في هجمات إعادة التشغيل (Replay Attacks) في الأنظمة السيبرانية الفيزيائية (CPSs)، مع التركيز بشكل خاص على الأنظمة غير الخطية (Nonlinear Plants).

التهديد: في هجوم إعادة التشغيل، يقوم المهاجم بتسجيل قياسات مستشعرات شرعية ثم يعيد حقنها في النظام، بينما يرسل في الوقت نفسه إشارات تحكم خبيثة. هذا الهجوم يتسم بالخفاء وعدم الاعتماد على نموذج محدد (Model-free)، مما يجعل اكتشافه صعباً.
قصور الطرق الحالية:
- أجهزة الكشف القائمة على الابتكار (مثل كواشف $\chi^2$ ): تعتمد هذه الأجهزة على الفرق بين مخرجات المستشعر المتوقعة والفعلية. ويوضح المؤلفون أنه بالنسبة للأنظمة غير الخطية تحت ظروف استقرار معينة، قد تفشل هذه الكواشف في اكتشاف هجمات إعادة التشغيل لأن إشارة المراقبة قد تتقارب إلى قيم لا يمكن تمييزها عن سيناريو "عدم وجود هجوم".
- الأنظمة الخطية مقابل غير الخطية: بينما تُعد طرق الكشف القائمة على العلامة المائية (إضافة إشارة عشوائية إلى مدخل التحكم) منهجاً راسخاً للأنظمة الخطية، فإن توسيع هذه الطرق لتشمل الأنظمة غير الخطية أمر صعب. تعتمد الطرق الخطية التقليدية على حساب فروق التغاير الدقيقة وتكاليف (LQG)، وهي عمليات يصعب حلها تحليلياً للأنظمة غير الخطية العامة.

2. المنهجية

يقترح المؤلفون نهجاً تزايدياً غير خطي يستخدم الكسب التزايدي (Incremental Gains) لتصميم إطار عمل للكشف يعتمد على العلامة المائية.

أ. الأساس النظري: الكسب التزايدي

بدلاً من الاعتماد على التوزيعات الإحصائية (التي يصعب حسابها للأنظمة غير الخطية)، يستخدم المؤلفون كسب $L_2$ التزايدي:

كسب $L^+_{\delta 2}$ (الحد الأعلى): يقيس أقصى تدهور في أداء التحكم (فرق المخرجات) الناتج عن إشارة العلامة المائية.
كسب $L^-_{\delta 2}$ (الحد الأدنى): يقيس أدنى فرق بين مخرجات النظام تحت الهجوم مقابل الحالة الطبيعية. وهذا يضمن أن العلامة المائية تخلق "بصمة" يمكن اكتشافها ولا يمكن إعادة تشغيلها.
توصيفات ليابونوف وLMI: تشتق الورقة شروطاً قائمة على "ليابونوف" ومتباينات المصفوفات الخطية (LMIs) لحساب هذه المكاسب للأنظمة غير الخطية ذات المخرجات الخطية.

ب. إطار عمل الكشف

حقن العلامة المائية: يتم إضافة إشارة علامة مائية $v = G\xi(t)$ إلى مدخل التحكم. $\xi(t)$ هي إشارة غير دورية (مثل الإشارات الفوضوية أو إشارات بيرنولي) لضمان عدم تطابقها مع البيانات التاريخية.
تقييم الأداء:
- أداء الكشف: يتم ضمانه إذا كان كسب $L^-_{\delta 2}$ كبيراً بما يكفي، مما يضمن أن إشارة المراقبة $g(t)$ تتجاوز العتبة أثناء الهجوم.
- خسارة أداء التحكم: يتم حصرها بواسطة كسب $L^+_{\delta 2}$ ، مما يضمن أن العلامة المائية لا تؤدي إلى زعزعة استقرار النظام أو تدهور الأداء بما يتجاوز حداً مقبولاً ( $\alpha$ ).
مشكلة التحسين: يصيغ المؤلفون مشكلة تحسين لـ تعظيم كسب الكشف ( $\beta$ ) مع تقييد خسارة الأداء ( $\alpha$ ).
- التصميم المشترك (Co-design): تم توسيع الإطار ليشمل التصميم المشترك لكل من كسب العلامة المائية ( $G$ )، والمتحكم ( $K$ )، والمراقب ( $L$ ) في آن واحد لتحقيق أفضل مقايضة.

ج. خوارزمية الحل

بما أن الشروط الناتجة تتضمن متباينات المصفوفات ثنائية الخطية (BMIs)، يقترح المؤلفون خوارزمية LMI تكرارية:

يتم تبسيط المشكلة إلى سلسلة من متباينات المصفوفات الخطية (LMIs).
تقوم الخوارزمية بتحديث المتغيرات ( $G, K, L$ ) بشكل تكراري للتقارب نحو الحد الأمثل المحلي الذي يحقق قيود الكشف والأداء.

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

تحليل فشل كواشف الابتكار: تقديم برهان صارم على أن كواشف الابتكار وحدها غير كافية لاكتشاف هجمات إعادة التشغيل في الأنظمة غير الخطية تحت ظروف استقرار معينة.
إطار عمل جديد للعلامة المائية للأنظمة غير الخطية: تقديم إطار تصميم يعتمد على المكاسب التزايدية ( $L^+_{\delta 2}$ و $L^-_{\delta 2}$ )، متجنباً الحاجة إلى حسابات التوزيع الاحتمالي الصريحة المطلوبة في الطرق الخطية.
توسيع نظرية كسب $L_2$ : تطوير مفهوم كسب $L^-_{\delta 2}$ التزايدي، بما في ذلك توصيفه بـ "ليابونوف" وصياغة الـ LMI الخاصة به، وهو ما لم يكن مطوراً بشكل جيد في الأدبيات السابقة.
تحسين التصميم المشترك: نهج منهجي لتحسين العلامة المائية، والمتحكم، وكسب المراقب بشكل مشترك لموازنة الأمن وأداء التحكم.
التعميم: الطريقة قابلة للتطبيق على فئة أوسع من الأنظمة غير الخطية مقارنة بتقنيات العلامة المائية الحالية المخصصة للأنظمة الخطية.

4. النتائج

تم التحقق من صحة الإطار المقترح باستخدام نظام روبوت أحادي الوصلة (نبات غير خطي) مع نوعين من العلامات المائية: الفوضوية (Chaotic) وبيرنولي (Bernoulli).

أداء الكشف:
- بدون العلامات المائية، فشل كاشف الابتكار في إطلاق الإنذارات أثناء هجمات إعادة التشغيل.
- مع العلامة المائية المقترحة، تجاوزت إشارة المراقبة $g(t)$ العتبة بشكل كبير، مما أدى إلى اكتشاف الهجوم بنجاح.
- تأثير التصميم المشترك: حققت المعلمات المصممة مشتركاً ( $K_{opt}, L_{opt}, G_{opt}$ ) معدلات كشف أفضل بكثير وتأخراً أقل في الكشف مقارنة بالمعلمات الأولية.
المقاييس الإحصائية (1000 محاكاة):
- العلامة المائية الفوضوية: تحسن معدل الكشف من 87.4% إلى 97.3% (مع قيود أداء أكثر صرامة) ووصل إلى 100% مع تخفيف القيود. كما انخفض متوسط تأخير الكشف من 10.28 ثانية إلى 8.34 ثانية.
- علامة بيرنولي المائية: تحسن معدل الكشف من 69.5% إلى 99.6%. وانخفض متوسط تأخير الكشف من 13.15 ثانية إلى 6.01 ثانية.
المتانة: حافظ النظام على الاستقرار وعلى خسارة أداء محدودة ( $\alpha$ ) عبر مستويات ضوضاء مختلفة.

5. الأهمية

سد الفجوة: يكمن أهم هذا العمل في نقل الكشف عن هجمات إعادة التشغيل من المجال الخطي المدروس جيداً إلى مجال الأنظمة غير الخطية المعقدة والواقعية.
القابلية للحساب: من خلال استخدام المكاسب التزايدية وLMIs، قدم المؤلفون طريقة قابلة للتنفيذ حسابياً لتصميم متحكمات آمنة للأنظمة غير الخطية، وهو ما كان يشكل عقبة نظرية رئيسية سابقاً.
القابلية للتطبيق العملي: القدرة على التصميم المشترك للعلامة المائية مع المتحكم والمراقب تسمح بموازنة أكثر كفاءة بين الأمن وأداء النظام، مما يجعل الحل قابلاً للتطبيق في تطبيقات الأنظمة السيبرانية الفيزيائية الواقعية مثل الروبوتات والأتمتة الصناعية.
التقدم النظري: يوفر صياغة كسب $L^-_{\delta 2}$ أداة جديدة لتحليل الحدود الدنيا لاستجابات الأنظمة، وهو أمر بالغ الأهمية لضمان قابلية الكشف في نظرية التحكم غير الخطي.