Resilient Consensus-Based Target Tracking under False Data Injection Attacks in Multi-Agent Networks
تقترح هذه الورقة خوارزمية تتبع أهداف موزعة قائمة على التوافق وتتسم بالمرونة، تدمج بين الترشيح القائم على التشبع وآلية ديناميكية للكشف عن حقن البيانات الزائفة، وذلك لقمع أخطاء القياس والهجمات العدائية بفعالية مع الحفاظ على دقة التقدير وسرعة التقارب في الشبكات متعددة الوكلاء.
المؤلفون الأصليون:Amir Ahmad Ghods, Mohammadreza Doostmohammadian
تخيل سرباً من الطائرات بدون طيار، أو أسطولاً من السيارات ذاتية القيادة، أو فريقاً من الروبوتات يعملون معاً للعثين عن متنزّه مفقود في غابة. ليس لديهم "زعيم" واحد من الطائرات يخبرهم إلى أين يتجهون؛ بدلاً من ذلك، يتصرفون مثل مدرسة من الأسماك، يتواصلون باستمرار مع جيرانهم المباشرين لمعرفة مكان الهدف. هذا هو عالم الشبكات متعددة الوكلاء، وهو فرع من فروع الروبوتات والهندسة حيث تتعاون العديد من الأجهزة الصغيرة والبسيطة لحل مشكلات كبيرة. وللقيام بذلك، يعتمدون على التقدير الموزع، وهي طريقة منمقة لقول "دعونا نخمن الإجابة جميعاً من خلال مشاركة أدلتنا المحلية". ولكن هنا تكمن العقبة: ماذا لو كان أحد هؤلاء الجيران يكذب؟ ماذا لو تسلل مخترق إلى الشبكة وقدم للمجموعة إحداثيات مزيفة، مما جعل الفريق بأكمله يطارد شبحاً؟ السؤال لا يتعلق بالرياضيات فحسب؛ بل يتعلق بالثقة. كيف تبني فريقاً يمكنه رصد الكاذب في الحشد والاستمرار في المضي قدماً دون الانهيار؟
تتناول هذه الورقة البحثية هذه المشكلة تحديداً عبر اقتراح طريقة جديدة لهذه الفرق الروبوتية لتتبع الأهداف المتحركة مع تجاهل الجهات السيئة. يقترح المؤلفان، أمير أحمد غودز ومحمد رضا دوست محمديان، نظام سلامة مكوناً من جزأين. أولاً، يستخدمان "مرشح التشبع"، الذي يعمل مثل ممتص الصدمات. إذا صرخ أحد الجيران فجأة برقم مستحيل تماماً (مثل طائرة بدون طيار تدعي أن الهدف يتحرك بسرعة الضوء)، فإن المرشح يخفف من حدة تلك الصرخة حتى لا تخرج الفريق بأكمله عن مساره. ثانياً، والأهم من ذلك، يضيفان "كاشف كذب". هذه الآلية تتحقق باستمرار مما إذا كانت معلومات الجار الجديد تتوافق مع ما يتوقعه الفريق بناءً على الفيزياء. إذا كانت البيانات غريبة جداً، يقوم النظام بتمييز ذلك الجار كطرف مخترق ويتجاهل مدخلاته مؤقتاً، مما يحافظ على سلامة بقية المجموعة.
اختبر الباحثون فكرتهم باستخدام محاكاة حاسوبية، وليس روبوتات حقيقية في البرية. لقد أنشأوا شبكات افتراضية من الوكلاء وأدخلوا أنواعاً مختلفة من المشاكل: بعض الوكلاء يكذبون بأرقام ضخمة، ونصف الفريق تعرض للاختراق بأكاذيب متفاوتة، وحتى نبضات قصيرة من البيانات المزيفة. كانت النتائج واعدة. في عمليات المحاكاة الخاصة بهم، نجح النظام الجديد في تحديد وعزل "الكاذبين"، مما منع بياناتهم المزيفة من إفساد الخريطة المشتركة للمجموعة. عندما تعرض 50% من الوكلاء لهجوم منسق، قلل الأسلوب الجديد خطأ التتبع بنسبة घूम 65% تقريباً مقارنة بالطريقة القديمة غير المحمية. كما وجدت الدراسة أن وجود المزيد من الاتصالات بين الوكلاء والسماح لهم بالتحدث بشكل أكثر تكراراً ساعدهم على الاتفاق بشكل أسرع وأكثر دقة، رغم أن هذا يتطلب قدرة أكبر على الاتصال. ومع ذلك، يشير المؤلفون إلى أن نظامهم يعمل بشكل أفضل عندما يكون غالبية الفريق صادقين؛ فإذا تم اختراق عدد كبير جداً من الوكلاء، فقد يواجه النظام صعوبة. كما يشيرون أيضاً إلى أن نموذجهم يفترض أن الهدف يتحرك بطريقة يمكن التنبؤ بها إلى حد ما (مثل سيارة على طريق مستقيم)، لذا قد يرتبك النظام إذا بدأ الهدف فجأة في القيام بحركات بهلوانية. في النهاية، يشير هذا العمل إلى أنه مع المزيج الصحيح من ممتصات الصدمات وكواشف الكذب، يمكن للفرق الروبوتية اللامركزية أن تكون أكثر صموداً ضد الهجمات السيبرانية مما كان يُعتقد سابقاً.
ملخص تقني: تتبع الأهداف المرن القائم على التوافق تحت هجمات حقن البيانات الزائفة
بيان المشكلة يعد تتبع الأهداف الموزع في الشبكات متعددة الوكلاء أمراً ضرورياً لتطبيقات مثل المراقبة الذاتية والروبوتات التعاونية. ومع ذلك، تواجه هذه الأنظمة تحديات كبيرة في الحفاظ على دقة التقدير ومرونة الشبكة عند تعرضها لقياسات خاطئة، أو اضطرابات بيئية، أو تهديدات سيبرانية-فيزيائية. وتحديداً، هجمات حقن البيانات الزائفة (FDIA)، حيث يقوم المهاجمون باختراق الوكلاء أو قنوات الاتصال لتغذية النظام ببيانات مغلوطة، مما يمكن أن يتسبب في أخطاء جسيمة في تقديرات الموقع والسرعة. وبينما توفر الأطر اللامركزية الموجودة، مثل مرشحات كالمان الموزعة (DKFs)، قابلية التوسع، إلا أنها غالباً ما تفتقر إلى المتانة ضد هذه المدخلات العدائية وتعاني من أعباء اتصالات عالية بسبب تبادل مصفوفات التغاير. علاوة على ذلك، فإن العديد من الحلول التكيفية أو القائمة على التعلم تفرض أعباءً حوسبية مفرطة، مما يحد من عمليتها في الشبكات ذات الموارد المحدودة.
المنهجية يقترح البحث خوارزمية لتتبع الأهداف لامركزية ومرنة تدمج إطار تقدير قائم على التوافق مع آلية ديناميكية للكشف عن الأعطال. يعتمد النهج على ثلاث مكونات أساسية:
نمذجة النظام: يتم نمذجة حركة الهدف باستخدام نموذج حركي "سرعة ثابتة تقريباً" (NCV) مع ضوضاء عملية لمراعاة عدم اليقين في التسارع. يستخدم الوكلاء طريقة تثليث (Multilateration) تعتمد على "زمن الوصول" (TOA) لإنشاء مصفوفات ملاحظة محلية، مما يسمح لهم بتقدير المسافات إلى الهدف بناءً على أوقات وصول الإشارات. ويتم تمثيل طوبولوجيا الشبكة كـ "رسم بياني عشوائي من نوع إيردوس-ريني" (Erdős–Rényi).
التقدير القائم على التوافق مع ترشيح التشبع: بناءً على عمل المؤلفين السابق، تستخدم الخوارزمية عملية من خطوتين: تحديث الملاحظة المحلية يليه خطوة توافق تكرارية.
تحديث الملاحظة: يطبق الوكلاء مرشحاً قائماً على التشبع على قياساتهم المحلية. يعمل كسب التشبع (gi(k)) على الحد من تأثير الابتكارات الكبيرة (الفرق بين القيم المقاسة والمتوقعة)، مما يؤدي فعلياً إلى كبح التغيرات الاندفاعية في القياسات الناتجة عن الضوضاء أو الهجمات.
خطوة التوافق: يتبادل الوكلاء تقديرات الحالة مع جيرانهم المباشرين بشكل تكراري للوصول إلى اتفاق عالمي. تتكرر هذه الخطوة L من المرات في كل خطوة زمنية لتحسين التقارب والدقة دون الحاجة إلى معلومات التغاير العالمية.
الكشف عن هجمات (FDIA) وعزلها ديناميكياً: المساهمة الرئيسية في هذه الدراسة هي إضافة طبقة للكشف والعزل.
مراقبة الابتكار: في كل خطوة زمنية، يحسب الوكلاء قيمة الابتكار (γi(k)) التي تمثل الانحراف بين القياس الحالي والحالة المتوقعة.
العتبة الديناميكية: يتم حساب عتبة كشف ديناميكية (φi(k)) بناءً على معيار مصفوفة انتقال الحالة، وحد الخطأ في التقدير السابق، وعدم التطابق في التوافق العالمي، وحدود الضوضاء المحددة مسبقاً.
منطق العزل: إذا تجاوز مقدار الابتكار العتبة، يتم وسم الوكيل بأنه مخترق. وبدلاً من تحديث حالته بالقياس المشبوه، يعتمد الوكيل حصرياً على تنبؤ النموذج الديناميكي (x(k)=Ax(k−1))، مما يؤدي فعلياً إلى عزل البيانات الخاطئة عن عملية التوافق.
المساهمات الرئيسية
دمج الكشف والتوافق: يوسع البحث خوارزمية تتبع قائمة على التوافق عبر دمج آلية كشف لـ (FDIA) تعمل في الوقت الفعلي دون الحاجة إلى إشراف مركزي أو نماذج تعلم معقدة.
العتبة الديناميكية: على عكس العتبات الثابتة، تتكيف عتبة الكشف المقترحة مع الحالة الراهنة للشبكة (عدم تطابق التوافق) وخصائص الضوضاء، مما يسمح بتحديد الشذوذ بدقة أكبر. կ
استراتيجية عزل الأعطال: تمنع الطريقة البيانات المخترقة من إفساد التقدير العالمي من خلال التبديل إلى التنبؤ القائم على النموذج للوكلاء الذين تم اكتشاف خطأ في بياناتهم، بدلاً من محاولة تصحيح البيانات.
تقييم شامل: تقدم الدراسة تقييماً صارماً عبر ست حالات دراسية متميزة، تغطي الظروف السليمة (تنوع الاتصال، تكرارات التوافق، ومعايير المرشح) وثلاث سيناريوهات عدائية (هجمات موضعية، هجمات منسقة واسعة النطاق، وهجمات عابرة).
النتائج أظهرت نتائج المحاكاة في بيئة MATLAB ما يلي:
الأداء الأساسي: في الظروف السليمة، أدى ارتفاع اتصال الشبكة (p=0.7 مقابل p=0.3) وزيادة تكرارات التوافق (L=100 مقابل L=10) إلى تحسين دقة التقدير وسرعة التقارب بشكل كبير، وإن كان ذلك بتكاليف اتصالات أعلى. كما قدم مرشح التشبع المتحفظ (ξ=2) متانة أفضل ضد الضوضاء ولكنه قلل من الحساسية تجاه التغيرات المشروعة في الحالة.
المرونة العدائية:
الهجمات الموضعية: نجحت الخوارزمية في تحديد وعزل وكيلين مخترقين، مما منع انتشار البيانات الزائفة وحافظ على انخفاض متوسط خطأ المربع المتوسط للتقدير (MSEE).
الهجمات المنسقة واسعة النطاق: في السيناريوهات التي تم فيها اختراق 50% من الوكلاء مع تباين في شدة الهجوم، خفضت الخوارما المقترحة (الخوارزمية 2) متوسط (MSEE) بنسبة تقارب 65% مقارم بالخوارزمية الأساسية (الخوارزمية 1) التي تفتقر للكشف. وبينما تم تفويت بعض الهجمات منخفضة الشدة القريبة من العتبة أحياناً، حافظ النظام على دقة أفضل بكثير من الأساسي.
الهجمات العابرة: حددت آلية الكشف بسرعة الهجمات قصيرة المدى، مما سمح للنظام بالتعافي بأقل قدر من التأخير.
المقايضات: تؤكد الدراسة أنه بينما تضيف آلية الكشف طبقة من الأمن، فإنها تعمل بأعباء حوسبية واتصالات متواضعة، مما يجعلها مناسبة للشبكات اللامركزية.
الأهمية والادعاءات يزعم المؤلفون أن هذه الدراسة توفر حلاً مبسطاً ومقاوماً للأعطال يعزز بشكل كبير دقة ومرونة تتبع الأهداف الموزع دون فرض أعباء اتصالات أو حسابات مفرطة. ويؤكد البحث أن الخوارزمية المقترحة توازن بفعالية بين كبح الأعطال والتقدير الدقيق. ومن خلال النجاح في تحديد وعزل الوكلاء المخترقين تحت سيناريوهات الهجمات الموضعية والمنسقة والعابرة، تضمن الطريقة بقاء التقدير العالمي الموزع غير فاسد. يضع هذا العمل الخوارزمية كبديل عملي للنهج المركزية أو القائمة على التعلم المعقدة، مقدمة إطاراً قابلاً للتوسع للأنظمة متعددة الوكلاء الآمنة في البيئات الديناميكية والعدائية. ويقر المؤلفون بوجود قيود، بما في ذلك افتراض أن أغلبية الوكلاء سليمون، والاعتماد على نموذج NCV للديناميكيات غير الخطية، وإمكانية تفويت الكشف عندما تكون شدة الهجوم قريبة جداً من العتبة الديناميكية.