⚡ electrical engineering

Sensor Attack Detection Method for Encrypted State Observers

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

المؤلفون الأصليون: Yeongjun Jang, Sangwon Lee, Junsoo Kim

نُشر 2026-05-20

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

CC BY 4.0

المؤلفون الأصليون: Yeongjun Jang, Sangwon Lee, Junsoo Kim

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

إليك شرح للورقة البحثية باستخدام لغة بسيطة وتشبيهات من الحياة اليومية.

الصورة الكبيرة: مشكلة "الصندوق المقفل"

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

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

تقترح هذه الورقة طريقة جديدة لبناء "كمبيوتر السحابة" بحيث يمكنه كشف الكاذب دون فتح الصندوق أبداً.

الحل: نظام "الإيصال السحري"

ابتكر المؤلفون نظاماً خاصاً يعتمد على ثلاث حيل رئيسية:

1. ساحة "الحساب النمطي" (Modular Math)

عادةً ما تتعامل أجهزة الكمبيوتر مع أرقام لا نهائية. ولكن للحفاظ على الأشياء مقفلة، يستخدم هذا النظام "حقلاً محدوداً" (Finite Field)، وهو يشبه وجه الساعة.

تخيل ساعة بها أرقام من 0 إلى 100. إذا أضفت 100 إلى 50، فلن تحصل على 150؛ بل ستحصل على 50 مرة أخرى (لأنك درت حول وجه الساعة).
صمم المؤلفون "المراقب" الخاص بهم (الجزء الذي يخمن حالة الآلة) ليعمل بالكامل على هذه "الساعة". وهذا يسمح لهم باستخدام نوع خاص من التشفير (التشفير المتماثل - Homomorphic Encryption) الذي يسمح لكمبيوتر السحابة بإجراء عمليات حسابية على الأرقام المقفلة دون فك تشفيرها.

2. "الشهود الفائضون" (Redundant Witnesses)

تخيل أن لديك 5 حراس أمن يراقبون خزنة. إذا تم رشوة أحد الحراس (تعرض للهجوم) وكذب، فقد لا تعرف من هو الكاذب. ولكن إذا كان لديك 5 حراس، وكنت تعلم أن 3 منهم على الأقل صادقون، فيمكنك مقارنة رواياتهم.

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

3. "الإيصال السحري" (إشارة الباقي - The Residue Signal)

هذا هو الجزء الأكثر إبداعاً.

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

كيف يعمل الأمر خطوة بخพอخطوة

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

لماذا هذا مهم؟

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

إثبات المحاكاة

اختبر المؤلفون هذا على "نظام ثلاثي القصور الذاتي" (نموذج لنظام ميكانيكي يحتوي على أوزان دوارة).

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

الملخص

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

ملخص تقني: طريقة كشف هجوم المستشعرات للمراقبين في الحالة المشفرة

بيان المشكلة
في أنظمة التحكم الشبكية، يسمح التحكم المشفر باستخدام التشفير المتماثل (Homomorphic Encryption - HE) بإجراء الحسابات على البيانات المشفرة، مما يحافظ على السرية. ومع ذلك، يبرز تحدٍ حرج في ضمان سلامة البيانات: فالتشفير يخفي آثار هجمات فساد البيانات، مثل هجمات المستشعرات. تتطلب الأساليب الحالية لكشف الهجمات في الأنظمة المشفرة عادةً إرسال إشارات البواقي (residue signals) المشفرة إلى كاشف خارجي يمتلك مفتاح فك التشفير، مما يؤدي إلى زيادة العبء في الاتصالات ومخاطر أمنية محتملة. علاوة على ذلك، كان العمل السابق للمؤلفين مقتصرًا على الأنظمة ذات المدخل الواحد والمخرج الواحد (SISO). تعالج هذه الورقة الحاجة إلى مراقب حالة مشفر قادر على كشف هجمات المستشعرات مباشرة دون فك التشفير، بما ينطبق على الأنظمة العامة ذات المدخلات المتعددة والمخرجات المتعددة (MIMO).

المنهجية
تدمج الطريقة المقترحة مراقب حالة مصمم فوق حقل منتهٍ من الأعداد الصحيحة ( $\mathbb{Z}_q$ ) مع مخطط تشفير متماثل معدل يعتمد على مشكلة "التعلم مع الأخطاء" (Learning With Errors - LWE).

تصميم المراقب فوق $\mathbb{Z}_q$ :
صمم المؤلفون أولاً مراقب حالة يعمل فوق $\mathbb{Z}_q$ باستخدام الحساب النمطي (modular arithmetic). يستخدم المراقب وفرة الاستشعار (sensing redundancy) وافتراض الهجمات المتفرقة (حيث يكون $k$ من أصل $p$ من المستشعرات مخترقة كحد أقصى). ومن خلال بناء مراقبين جزئيين لكل مخرج مستشعر ودمجهما، يتم تشكيل مراقب كامل. يتم تعريف إشارة بقايا محددة، $\bar{r}(t)$ ، كفرق بين تقديرات الحالة المستمدة من مجموعات فرعية مختلفة من المستشعرات. وتحت افتراض أن ما لا يقل عن $p-k$ من المستشعرات غير مخترقة، فإن إشارة الباقي الصغيرة تشير إلى تقدير صحيح للحالة، بينما تشير إشارة الباقي الكبيرة إلى وجود هجوم. يتم تغيير مقاييس مصفوفات المراقب وتكميمها لضمان بقائها ذات قيم صحيحة صالحة للتشفير.
مخطط التشفير المتماثل المعدل:
لتمكين كشف الهجمات دون فك التشفير، قام المؤلفون بتعديل مخطط تشفير LWE القياسي. يكمن الابتكار الجوهري في استغلال الديناميكيات الصفرية (zero-dynamics) لتمثيل نظام المدخل الواحد والمخرج الواحد (MISO) فوق $\mathbb{Z}_q$ .

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

الكشف والاسترداد:
يعمل المراقب المشفر على المدخلات والحالات المشفرة. يتم استرداد إشارة الباقي مباشرة من العمود الأول من النصوص المشفرة الناتجة عن طريق القياس (scaling)، دون الحاجة إلى المفتاح السري. إذا تجاوزت قيمة إشارة الباقي المستردة عتبة محددة، يتم كشف هجوم المستشعر. وفي الوقت نفسه، يمكن استرداد الحالة الكاملة كرسالة مشفرة عن طريق فك تشفير حالة المراقب.

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

الكشف المباشر عن الهجوم دون فك التشفير: تقترح الورقة مخططاً يتم فيه الكشف تلقائياً عن إشارة الباقي، الضرورية لكشف الشذوذ، في المجال المشفر. وهذا يلغي الحاجة إلى إرسال البواقي المشفرة إلى طرف ثالث موثوق لفك تشفيرها.
التوسع إلى أنظمة MIMO: على عكس العمل السابق المقتصر على أنظمة SISO، فإن هذه الطريقة قابلة للتطبيق على الأنظمة العامة ذات المدخلات المتعددة والمخرجات المتعددة عبر التعامل مع هجمات المستشعرات المتفرقة عبر التطبيق المتكرر لمخطط MISO.
استغلال الديناميكيات الصفرية: قدم المؤلفون آلية لتعديل نصوص LWE المشفرة من خلال استغلال الديناميكيات الصفرية للمراقب، مما يضمن إلغاء مصطلح القناع لإشارة الباقي مع الحفاظ على أمن المخطط الأساسي.
الضمانات النظرية: توفر الورقة شروطاً لعوامل القياس والنموذج $q$ لضمان أن إشارة الباقي تعكس بدقة وجود الهجمات وأن خطأ تقدير الحالة يظل محدوداً عند عدم وجود هجوم.

نتائج المحاكاة
تم التحقق من صحة الطريقة من خلال عمليات محاكاة على نظام ثلاثي القصور الذاتي (تم تحويله من نموذج في Ogata (1995)).

الإعداد: احتوى النظام على 6 حالات، مدخل واحد، و5 مستشعرات. تم اختيار بارامترات التشفير لضمان أمن بمستوى 128 بت.
السيناريو: تم حقن هجوم متفرق في المستشعر الثالث عند الزمن $t=2.5$ ثانية.
النتيجة: أظهرت المحاكاة أن المراقب المشفر نجح في كشف الهجوم. وقد تجاوزت إشارة الباقي المستردة وخطأ تقدير الحالة العتبات النظرية المحددة في الورقة فور حقن الهجوم، مما يؤكد إمكانية كشف الهجمات دون الوصول إلى المفتاح السري.

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