Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries
تحلل هذه الورقة مجموعة بيانات حصان طروادة للأجهزة لعام 2023 الخاصة بـ S&P لتوضيح أن مكتبات الخلايا القياسية تحتوي بطبيعتها على وظائف منطقية غير متمايزة بصرياً، مما يتيح بناء أحصنة طروادة خفية مثل باب خلفي لمعالج RISC-V ويستلزم مقاييس جديدة لتقييم والدفاع ضد "قابلية زرع حصان طروادة".
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تشتري خزنة جديدة عالية الأمان. تريد أن تكون متأكداً تماماً من عدم عبث أي شخص بآلية القفل في الداخل. لذا، ترسل الخزنة إلى مختبر متخصص يلتقط صوراً عالية الدقة للغاية لداخل القفل، بحثاً عن أي خدوش صغيرة أو قطع إضافية لا ينبغي أن تكون موجودة.
هذه الورقة البحثية تتحدث عن اكتشاف مخيف يتعلق بتلك الصور. فقد وجد الباحثون أنه في شرائح الكمبيوتر الحديثة والصغيرة جداً، تبدو بعض الأقفال المختلفة متطابقة تماماً في الصور.
إليك تفصيل الورقة البحثية باستخدام تشبيهات بسيطة:
1. المشكلة: التوائم "المتشابهة"
في عالم شرائح الكمبيوتر، يتم بناء كل شيء من كتل بناء صغيرة تسمى الخلايا القياسية (Standard Cells). فكر في هذه الخلايا مثل قطع "الليغو".
- بعض القطع مخصصة لتكون بوابات "AND" (تعمل فقط إذا كان المفتاحان في وضع التشغيل).
- وبعضها بوابات "OR" (تعمل إذا كان أحد المفتاحين على الأقل في وضع التشغيل).
- وبعضها بوابات "NOT" (تقوم بقلب المفتاح: التشغيل يصبح إيقافاً).
عادةً، تبدو قطعة الـ "AND" مختلفة عن قطعة الـ "OR". ولكن الباحثين اكتشفوا أنه في الشرائح الأكثر دقة وتطوراً (مثل حجم 28 نانومتر)، توجد أزواج من القطع مختلفة وظيفياً (تقوم بعمليات حسابية مختلفة) ولكنها متطابقة بصرياً تحت المجهر.
التشبيه: تخيل أن لديك قطعة حمراء وقطعة زرقاء. في الأيام الخوالي، كان بإمكانك التمييز بينهما بسهولة. ولكن في العالم الجديد فائق الصغر، تم طلاء القطعة الحمراء والقطعة الزرقاء بنفس النمط تماماً. إذا قام جاسوس باستبدال القطعة الحمراء بالزرقاء، ستنظر إلى الصورة وتقول: "تبدو مثالية!" ولكن الآلة الآن تعتقد أنها "زرقاء" بينما كان يجب أن تكون "حمراء".
2. "الانعكاس غير المرئي"
يطلق الباحثون على هذه القطع المتشابهة اسم "الانعكسات غير المرئية" (Invisible Inversions).
- الخدعة: يقوم فاعل سيء (مخترق) باستبدال بوابة منطقية عادية بنظيرتها "المعكوسة" (مثل استبدال زر "نعم" بزر "لا").
- النتيجة: نظرًا لأن الزرين يبدوان متطابقين في الصورة، فإن الفحص الأمني يمر بنجاح. ولكن سلوك الكمبيوتر يتغير تماماً.
- الأثر في العالم الحقيقي: قام الباحثون ببناء "باب خلفي" مزيف في معالج RISC-V (نوع من عقول الكمبيوتر). من خلال استبدال عدد قليل فقط من هذه القطع "غير المرئية"، أنشأوا مفتاحاً سرياً سمح لأي شخص بأن يصبح "المسؤول" (Admin) للكمبيوتر، متجاوزاً جميع الضوابط الأمنية. كان الأمر يشبه استبدال مفتاح "ضيف" بمفتاح "سيد/مالك"، لكن المفتاحين بدوا متطابقين في الصورة.
3. لماذا حدث هذا؟
بحث الباحثون في مجموعة بيانات شهيرة لصور الشرائح من عام 2023. أرادوا معرفة: هل من الصعب العثور على "أحصنة طروادة" (Trojan) لأن الصور ضبابية، أم لأن الشرائح نفسها مصممة بشكل سيء؟
- النظرية القديمة: "ربما الصور مجرد صور مشوشة لا تظهر التفاصيل الدقيقة."
- الاكتشاف الجديد: "لا، حتى لو كانت الصور مثالية، فإن بعض هذه القطع غير قابلة للتمييز بطبيعتها."
- الاتجاه العام: كلما صغرت الشريحة (من 90 نانومتر نزولاً إلى 28 نانومتر)، زاد ظهور هؤلاء "التوائم المتشابهين". الأمر يشبه محاولة التمييز بين توأمين متطابقين يرتديان نفس الملابس؛ فكلما أصبحت الملابس أصغر وأكثر تفصيلاً، أصبح من المستحيل التمييز بينهما بمجرد النظر.
4. الحل: لا تستخدم القطع "السيئة"
الخبر الجيد هو أن إصلاح هذا الأمر سهل للغاية، رغم أنه يتطلب تغييراً في كيفية تصميم الشرائح.
- الإصلاح: قبل بناء شريحة آمنة، يجب على المصممين تشغيل "قائمة مراجعة" لمعرفة أي القطع تبدو متشابهة جداً مع غيرها.
- الإجراء: يقومون ببساطة بإخبار برنامج تصميم الكمبيوتر: "لا تستخدم القطعة من النوع (أ) أو القطعة من النوع (ب) في هذا المشروع."
- التكلفة: هذا لا يكلف شيئاً تقريباً. إنه يشبه قولك للبناء: "لا تستخدم هذين النوعين المحدد من الطوب"، واستخدام زوج آخر من القطع الآمنة بدلاً منهما. التكلفة من حيث السرعة أو الحجم ضئيلة جداً (أقل من 1%).
5. الخلاصة الكبرى
تحذرنا هذه الورقة من أن لا يمكننا الاعتماد على التقاط الصور لكشف كل مخترق للأجهزة (Hardware Hacker) بعد الآن.
إذا تم تصميم شريحة باستخدام أجزاء قياسية تصادف أن لها "توائم غير مرئية"، يمكن للمخترق استبدالها، ولن تتمكن أي كاميرا مهما بلغت دقتها من كشف ذلك. الحل ليس مجرد استخدام مجاهر أفضل؛ بل هو وضع قواعد تصميم أفضل. يحتاج مصنعو الشرائح إلى ضمان أن كل نوع من القطع يصنعونه يبدو متميزاً عن أي نوع آخر، بحيث يكون استبدالها أمراً واضحاً دائماً.
باخت اختصار: تقول الورقة: "لقد وجدنا أن بعض أجزاء الكمبيوتر متشابهة جداً لدرجة أنها غير مرئية لأفضل كاميراتنا. يمكن للمخترقين استخدام هذا لتسلل أبواب خلفية. الحل هو التوقف عن استخدام تلك الأجزاء المربكة من الأساس."
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.