Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
تقترح هذه الورقة خوارزمية لتقدير الحالة الآمنة القائمة على المجموعات (S3E) تضمن شهادات احتواء الحالة للأنظمة الحرجة للسلامة تحت هجمات المستشعرات، وذلك باستخدام الزونات المتعددة المقيدة للحفاظ على الحالة الحقيقية ضمن المجموعة المقدرة، وكشف وتصفية الإشارات العدائية، وتقديم استراتيجيات للموازنة بين التعقيد الحسابي والأداء.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك قبطان سفينة فضاء، لكنك لا تستطيع رؤية النجوم أو الأجهزة مباشرة. بدلاً من ذلك، لديك طاقم من المستشعرات، كل منها يصرخ بأرقام حول مكان السفينة وسرعتها. في عالم الأنظمة السيبرانية-الفيزيائية (Cyber-Physical Systems)—حيث تتحكم الحواسيب في أشياء واقعية مثل شبكات الطاقة، أو السيارات ذاتية القيادة، أو الروبوتات—تكون هذه المستشعرات هي العيون والآذان. ولكن الجزء المخيف هنا هو أن مخترقًا ماكرًا يمكنه التسلل إلى نظام اتصالات السفينة والهمس بأرقام مزيفة للقبطان. وإذا صدق القبطان هذه الأكاذيب، فقد تصطدم السفينة بكويكب أو تطير نحو منحدر.
لفترة طويلة، حاول العلماء حل هذه المشكلة عبر التساؤل: "هل يمكننا الوثوق بالأغلبية؟" إذا كانت أكثر من نصف المستشعرات تقول الحقيقة، فيمكننا تجاهل الكاذبين. ولكن ماذا لو كان المخترق ذكيًا للغاية وتمكن من خدا أكثر من نصف المستشعرات؟ أو ماذا لو كان المخترق دقيقًا جدًا لدرجة أن الأرقام تبدو صحيحة تقريبًا، لكنها منحرفة قليلاً فقط؟ غالبًا ما تفشل الطرق التقليدية هنا، أو تصبح شديدة الشك لدرجة أنها توقف السفينة تمامًا لتكون في أمان. يتعمق هذا البحث في زاوية مختلفة من العلم تسمى "التقدير القائم على المجموعات" (Set-based estimation). فبدلاً من تخمين موقع واحد محدد للسفينة (مثل "نحن عند الإحداثي 5، 5")، ترسم هذه الطريقة صندوقًا ضبابيًا متحركًا حول كل الأماكن المحتملة التي قد تكون السفينة فيها. الأمر يشبه القول: "نحن نعلم على وجه اليقين أن السفينة موجودة في مكان ما داخل هذه السحابة المتوهجة". والهدف هو إبقاء السفينة الحقيقية داخل تلك السحابة، حتى عندما يحاول مخترق ما تفجير تلك السحابة أو جعلها تختفي.
قام المؤلفون في هذه الورقة البحثية، م. عُمر ب. نيازي وفريقه، ببناء خوارزمية جديدة فائقة القوة يطلقون عليها اسم "تقدير الحالة الآمن القائم على المجموعات" (S3E). فكر في الأمر كأنه لعبة تحقيق سحرية تُلعَب بالأشكال. في نظامهم، لا ينظر الكمبيوتر إلى مستشعر واحد فحسب؛ بل ينظر إلى كل تركيبة ممكنة من المستشعرات التي يمكن أن تكون صادقة. إنه يرسم "صندوق اتفاق" صغيرًا لكل مجموعة. إذا كانت مجموعة من المستشعرات تكذب، فلن تتطابق صناديقها مع بعضها البعض—ستكون منفصلة أو فارغة، مثل محاولة وضع وتد مربع في ثقب مستدير. تقوم الخوارمة برمي تلك المجموعات المكسورة.
الجزء الرائع هو أن الورقة تثبت أنه طالما أن المستشعرات الصادقة المتبقية كافية لـ إعادة بناء حالة السفلة الكاملة (وهي خاصية تسمى "القابلية للملاحظة الفائضة" أو Redundant Observability)، فإن الخوارزمية لا تزال قادرة على إيجاد مجموعة من المستشعرات تتفق مع بعضها البعض. لا يهم إذا خدع المخترق كل المستشعرات باستثناء واحد، أو كل المستشعرات باستثناء القليل، طالما أن تلك المجموعة المتبقية من الناجين يمكنها "رؤية" السفينة بأكملها رياضيًا. تبني الخوارزمية "سحابة سلامة" نهائية عن طريق دمج الصناديق من جميع المجموعات التي تتفق بالفعل. وهذا يضمن أن الحالة الحقيقية للنظام ستكون دائمًا مختبئة في مكان ما داخل تلك السحابة، بغض النظر عن مدى محاولة المخترق دفعها للخارج.
اكتشف الباحثون أيضًا "فخًا" مثيرًا للاهتمام للمخترق. إذا حاول المخترق حقن كذبة ضخمة وواضحة، فإن الرياضيات تظهر أن "صناديق الاتفاق" ستصبح فارغة فورًا، وسيصرخ النظام: "هناك خطب ما!" ويرمي بيانات ذلك المستشعر بعيدًا. ولكي يظل متخفيًا، يُجبر المخترق على حقن أكاذيب صغيرة جدًا وهادئة للغاية. ولكن حتى مع ذلك، يحافظ النظام على بقاء سحابة السلامة محكمة بما يكفي بحيث لا يستطيع المخترق توجيه السفينة نحو الخطر دون أن يتم اكتشافه.
اختبر الفريق هذه الفكرة باستخدام محاكيات ممتعة. أولاً، جربوها على مسألة رياضية بسيطة باستخدام ثلاثة مستشعرات، مما أظهر كيف يمكن للخوارزمية اكتشاف كذب اثنين منها ومع ذلك إيجاد الحقيقة. ثم انتقلوا بها إلى العالم الحقيقي من خلال محاكاة مبنى مكون من ثلاثة طوابق أثناء زلزال. لقد تظاهروا بأن مخترقًا يعبث بالمستشعرات التي تقيس اهتزاز المبنى. وحتى عندما كان المخترق يغير المستشعر الذي يهاجمه كل ثانية، حافظت الخوارزمية على "سحابة السلامة" حول الحركة الحقيقية للمبنى. لقد كبرت السحابة أو صغرت قليلاً، لكنها لم تسمح أبدًا للموقع الفعلي للمبنى بالهروب.
تشير الورقة البحثية إلى أن هذه الطريقة يمكن أن تكون نقطة تحول للأنظمة الحرجة للسلامة لأنها لا تحتاج إلى "تصويت أغلبية" لتعمل. يمكنها التعامل مع سيناريوهات يتم فيها اختراق عدد كبير من المستشعرات، بشرًا ما كانت المستشعرات الآمنة المتبقية كافية لملاحظة النظام. ومع ذلك، كان المؤلفون صادقين بشأن المقايضة: تتبع كل هذه "صناديق الاتفاق" المختلفة يمكن أن يكون ثقيلاً من الناحية الحسابية، مثل محاولة التلاعب بالكثير من الكرات في وقت واحد. إنهم يقترحون استراتيجيات لتبسيط عملية التلاعب هذه، مثل دمج الصناديق المتداخلة، للحفاظ على سرعة النظام للاستخدام في الوقت الفعلي. وبينما تبدو الرياضيات متينة والمحاكاة واعدة، يشير المؤلفون إلى أن الاختبار النهائي لمدى قدرة هذا النظام على التعامل مع الهجمات الأكثر دهاءً وتعقيدًا لا يزال سؤالاً مفتوحًا للأبحاث المستقبلية. ولكن في الوقت الحالي، فقد قدموا لنا درعًا جديدًا ومتينًا للغاية لأعيننا الرقمية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.