Autonomous hardware security evaluation from reconnaissance to physical validation
تقدم هذه الورقة عميلاً مستقلاً قائماً على النماذج اللغوية الكبيرة (LLM) يدمج بين الاستطلاع، وتحليل البرامج الثابتة، والتحكم البشري في الحلقة، لتنفيذ والتحقق بنجاح من هجمات حقن الأخطاء بالليزر على كل من المتحكمات الدقيقة ATmega328P ومصفوفات البوابات المنطقية القابلة للبرمجة (FPGAs) من نوع Artix-7، مما يبرهن على سير عمل قابل للتوسع لتقييم أمن الأجهزة المادية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الخفي لرقائق الكمبيوتر، لا تقتصر الحماية على الأكواد البرمجية المعقدة فحسب؛ بل تتعلق أيضاً بالواقع المادي للسيليكون نفسه. فحتى أكثر الأقفال الرقمية أماناً يمكن كسرها إذا تمكن المهاجم من وخز "دماغ" الآلة في اللحظة المناسبة تماماً. هذا المجال، المعروف باسم أمن الأجهزة (hardware security)، يتضمن محاولة فهم كيفية تصرف الرقاقة عندما تتعرض لاضطرابات دقيقة وصغيرة، مثل ومضة ضوء أو نبضة مغناطيسية. هذه الاضطرابات يمكن أن تجعل الرقاقة تنسى خطوة في حساباتها، أو تتخطى فحصاً أمنياً، أو تكشف عن مفتاح سري. لعقود من الزمن، كان اختبار هذه الثغرات عملية بطيئة ويدوية؛ إذ تتطلب خبيراً بشرياً يدرس تصميم الرقاقة، ويخمن أين قد تختبئ نقطة الضعف، ثم يوجه الليزر بعناية إلى تلك البقعة أثناء مراقبة النتائج. إنها رقصة دقيقة من التفكير والبراعة، حيث تعني التخمينة الخاطئة الواحدة إضاعة ساعات من الوقت، وتعني اللحظة الفائتة الواحدة بقاء السر آمناً.
تقدم دراسة جديدة من باحثين في "مين ستاينت إيتيان" (Mines Saint-Etienne) و"سي إيه" (CEA) في فرنسا طريقة مختلفة للقيام بهذا العمل. فقد بنوا وكيل ذكاء اصطناعي يمكنه توجيه هذه العملية بأكملها، من التخمين الأول إلى الإثبات النهائي. هذا الوكيل لا يحل محل الخبير البشري، بل يعمل كشريك دؤوب يتولى عبء التخطيط والتنفيذ. يعمل النظام أولاً عبر قراءة كل الوثائق المتاحة حول الرقاقة، بما في ذلك دليل التعليمات والبرمجيات التي تعمل عليها. ثم ينظر إلى صور للهيكل الداخلي للرقاقة لفهم أين تقع الأجزاء المختلفة. وباستخدام هذه المعلومات، يصيغ الذكاء الاصطناعي قائمة من الفرضيات حول المكان الذي قد تسبب فيه نبضة الليزر خطأً ما. ثم يصمم سلسلة من التجارب لاختبار هذه الأفك "ا"، واضعاً قواعد صارمة لما يعتبر نجاحاً وما يعتبر فشلاً. ومن الأهمية بمكان أن الخبير البشري يظل هو المسؤول عن السلامة والموافقة النهائية، حيث يعمل كحارس بوابة يأذن لكل خطوة قبل أن تمضي الآلة قدماً.
اختبر الباحثون هذا النظام على نوعين مختلفين جداً من رقائق الكمبيوتر لمعرفة ما إذا كان بإمكانه العمل بشكل شامل. كان الهدف الأول هو "المتحكم الدقيق" (microcontroller) الشائع، وهو رقاقة صغيرة توجد غالباً في الإلكترونيات اليومية. بدأ وكيل الذكاء الاصطناعي بتحليل "البرامج الثابتة" (firmware) للرقاقة، وهي البرمجيات التي تخبر الرقاقة بما يجب فعله. حدد الوكيل فحصاً أمنياً معيناً حيث تتحقق الرقاقة من رقم التعريف الشخصي (PIN). افترض الوكيل أن نبضة ليزر قد تخدع الرقاقة لقبول رقم تعريف شخصي خاطئ. ولاختبار ذلك، وجه الوكيل نبضة ليزر نحو الرقاقة أثناء تشغيل الفحص الأمني. وبعد سلسلة من النبضات الموقوتة بعناية، نجح الوكيل في جعل الرقاقة تقبل رقماً تعريفياً شخصياً خاطئاً. لم يكتفِ بالتخمين فحسب، بل تحقق من النتيجة عبر سؤال الرقاقة عن حالتها الداخلية، مؤكداً أن الرقاقة تعتقد الآن أنها مفتوحة القفل. كما اختبر الوكيل قدرة الرقاقة على إجراء عمليات رياضية معقدة للتشفير؛ حيث تمكن من إفساد مخرجات عملية تشفير بطريقة متكررة، منتجاً نفس الخطأ بالضبط في أربع عشرة محاولة من أصل أربع عشرة، بينما لم تظهر مجموعة التحكم من الاختبارات بدون الليزر أي أخطاء على الإطلاق.
تضمن الاختبار الثاني رقاقة أكثر تعقيداً تُستخدم لمهام الحوسبة المتقدمة. هنا، كان التحديد مختلفاً لأن التخطيط الداخلي للرقاقة ليس بسيطاً بما يكفي لرسم خريطة له. استخدم الوكيل نهجاً مختلفاً، حيث جمع بين مسح بصري للجزء الخلفي من الرقاقة وخريطة رقمية لتصميمها لتحديد المنطقة المسؤولة عن التشفير. ثم أجرى عدداً هائلاً من الاختبارات، حيث أطلق الليزر على آلاف النقاط المختلفة. سجل النظام ما يقرب من 183,000 نتيجة اختبار فردية. وجد الوكيل أنه عند مواقع معينة وإعدادات محددة، ستعطي الرقاقة إجابة خاطئة. استطاع الوكيل التمييز بين مجرد خلل عابر وفشل أمني حقيقي، ملاحظاً أن بعض الأخطاء تكررت بينما كانت أخرى عشوائية. أثبت هذا أن الذكاء الاصطناعي يمكنه التنقل في تعقيدات الرقاقة الحديثة دون الحاجة إلى توجيه بشري لكل طلقة.
ما يجعل هذا العمل مهماً ليس فقط اكتشاف الذكاء الاصطناعي لهذه الأخطاء، بل الكيفية التي فعل بها ذلك. لم يقم النظام بمجرد إطلاق الليزر عشوائياً حتى ينكسر شيء ما، بل بنى خريطة ذهنية للرقاقة، رابطاً ما يعرفه عن الكود بما يراه في الصور الفيزيائية. وعندما واجه نتائج مربكة، مثل إشارة لا تطابق توقعاته، كان يتوقف ويعيد تقييم خطته. لقد صحح أخطاءه الخاصة، مثل إصلاح مشكلة في التوصيلات اكتشفها أثناء العملية، ثم تابع العمل. وضع المشغل البشري الحدود، محدداً ما هو آمن للاختبار وموقفا العملية بمجرد الوصول إلى الهدف. تولى الذكاء الاصطناعي القرارات الروتينية، مختاراً النقطة التالية للاختبار بناءً على نتائج النقطة السابقة. خلق هذا حلقة مغلقة حيث يتعلم الجهاز من أفعاله في الوقت الفعلي.
تظهر الدراسة أن هذه الطريقة يمكن أن تنجح مع أنواع مختلفة من الأجهزة، من المتحكمات الدقيقة البسيطة إلى الأجهزة المنطقية القابلة للبرمجة المعقدة. وجد الباحثون أن النهج المدعوم بالذكاء الاصطناعي يمكنه التحضير لتجربة في غضون يوم واحد تقريباً، بينما قد يستغرق الخبير البشري الذي يعمل بمفرده أسبوعاً أو أكثر. تأتي هذه السرعة من قدرة الذكاء الاصطناعي على المعالجة السريعة لكميات هائلة من الوثائق والصور لتضييق نطاق البحث. ومع ذلك، يؤكد الباحثون أن هذا النظام هو أداة للتقييم وليس عصا سحرية تحل جميع المشكلات الأمنية. فقد وجد الذكاء الاصطناعي طرقاً محددة لكسر الرقاقات في المختبر، لكنه لم يستعد المفاتيح السرية أو يشرح بالكامل الآلية الكهربائية وراء كل خطأ. كانت بعض الأخطاء التي وجدها لا تزال لغزاً، وأشار الباحثون إلى الحاجة لمزيد من الاستقصاء لفهم كيفية تسبب الضوء في فشل الرقاقة بدقة.
الهدف النهائي من هذا العمل هو جعل اختبار أمن الأجهزة أكثر موثوقية وكفاءة. فمن خلال أتمتة الربط بين الفهم النظري للرقاقة والاختبار المادي لها، يسمح النظام للخبراء بالتركيز على الصورة الكبيرة بينما تتولى الآلة التفاصيل. يظل الإنسان هو الحَكَم، يقرر متى تكون النتيجة ذات أهمية ومتى يتوقف. وتخلص الدراسة إلى أن هذه الشراكة بين الحكم البشري والذكاء الاصطناعي هي مسار قابل للتطبيق للمستقبل. فهي تثبت أن الذكاء الاصطناعي لا يمكنه فقط قراءة تعليمات الرقاقة، بل يمكنه أيضاً التفاعل مادياً معها لإيجاد نقاط ضعفها، كل ذلك مع اتباع قواعد سلامة صارمة. هذا لا يعني أن الرقائق أصبحت أقل أماناً، بل يعني أن الأشخاص الذين يبنونها لديهم وسيلة جديدة قوية للعثور على عيوبها وإصلاحها قبل أن يتم استغلالها من قبل الآخرين. ويقف هذا العمل كدليل على أن مستقبل أمن الأجهزة سيعتمد على الأرجح على أنظمة يمكنها التفكير، والتخطيط، والعمل في العالم المادي، تحت إشراف بشري.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.