Pre-Fabrication to Post-Deployment: A Unified ML-Driven Pipeline for IC Logic Locking
تقدم هذه الورقة مساراً موحداً مكوناً من أربع مراحل مدفوعاً بالتعلم الآلي، يعمل على أتمتة اختيار تقنيات قفل المنطق المثلى، ويدمج آلية STREAMLOCK خفيفة الوزن وقوية تشفيراً مع إعادة التشكيل الجزئي الديناميكي لإجراء تحديثات وقت التشغيل، ويحقق كفاءة عتادية وأمناً فائقين عبر دورة حياة حماية الدوائر المتكاملة بأكملها.
في العالم الحديث، نادراً ما تُصنع الرقائق التي تشغل كل شيء، من الهواتف الذكية إلى الأجهزة الطبية، من قبل شركة واحدة في مكان واحد. بدلاً من ذلك، يتم تقسيم تصميم هذه الدوائر المتكاملة والتحقق منها وتصنيعها بين فرق ومصانع مختلفة عبر العالم. وبينما جعل هذا التعاون العالمي التكنولوجيا أرخص وأسرع في الإنتاج، إلا أنه خلق أيضاً ثغرة أمنية خطيرة؛ إذ يمكن للمصانع غير الموثوقة أو الموردين من الطرف الثالث سرقة الملكية الفكرية، أو زرع أجهزة خبيثة، أو عكس هندسة التصاميم لإنشاء نسخ غير مصرح بها. ولإيقاف ذلك، يستخدم المهندسون تقنية تسمى "قفل المنطق" (logic locking). تخيل الدائرة كآلة معقدة؛ يقوم قفل المنطق بإضافة لوحة مفاتيح سرية تمنع الآلة من العمل ما لم يتم إدخال الرمز السري الصحيح. وبدون هذا الرمز، تبدو الآلة سليمة ولكنها تنتج نتائج غير مفهومة. ومع ذلك، لسنوات طويلة، عانت هذه الوسيلة الدفاعية من ثلاث عيوب رئيسية: أولاً، كان اختيار نوع القفل المناسب لشريحة معينة عملية يدوية تعتمد على التخمين؛ ثانياً، بمجرد بناء الشريحة، يكون القفل ثابتاً وغير متغير، مما يجعلها عرضة للمهاجمين الذين يدرسونها بمرور الوقت؛ وثالثاً، لم تكن هناك طريقة جيدة لتحديث الأمن بعد وجود الشريحة في الميدان.
لقد نجح فريق من الباحثين في جامعة نورث كارولاينا في شارلوت في بناء نظام جديد لإصلاح هذه المشكلات الثلاث معاً. فقد أنشأوا مسار عمل موحداً يستخدم التعلم الآلي لتصميم وبناء وصيانة رقائق آمنة تلقائياً، بدءاً من أرض المصنع وصولاً إلى المستخدم النهائي. تبدأ العملية ببرنامج حاسوبي يعمل كمهندس معماري خبير؛ حيث يفحص المخطط الخام للدائرة، وباستخدام نموذج ذكاء اصطناعي مدرب، يتنبأ بأي من استراتيجيات القفل الخمس سيكون الأفضل لهذا التصميم المحدد. وهذا يلغي الحاجة إلى قيام المهندسين البشريين بتحديد طريقة الأمن يدوياً، مما يضمن استخدام الأداة المناسبة للمهمة في كل مرة.
بمجرد اختيار الاستراتيجية الأفضل، يقوم النظام ببناء القفل. بالنسبة للعديد من الدوائر القياسية، يستخدم النظام طريقة تضع بوابات سرية في أكثر النقاط حرجاً لزيادة الارتباك للمهاجم. أما بالنسبة للدوائر التي تتطلب حماية أقوى، فيستخدم النظام محرك أمان جديداً وخفيف الوزن يسمى "ستريم لوك" (STREAMLOCK). وعلى عكس الأقفال التقليدية التي تستخدم رمزاً سرياً واحداً ثابتاً، يقوم "ستريم لوك" بتوليد تدفق مستمر من الأرقام العشوائية المتغيرة. يتم دمج هذا التدفق في منطق الدائرة، مما يعني أن العلاقة بين المدخلات والمخرجات لا تكون متطابقة مرتين أبداً. هذا السلوك الديناميكي يهزم المهاجمين الذين يحاولون دراسة السلوك الثابت للشريحة لكسر الرمز. وقد اختبر الباحثون هذا المحرك الجديد على مجموعة متنوعة من الدوائر المعيارية وأكدوا أنه يعمل بشكل مثالي عند تطبيق السر الصحيح، بينما يقوم بتشفير المخرجات تماماً عند استخدام المفتاح الخاطئ.
كما قارن الباحثون هذا النهج الجديد بالطرق القديمة وبالتشفير القوي المعروف باسم (AES)، والذي يُستخدم غالباً للبيانات عالية الأمن ولكنه مكلف جداً من حيث مساحة الشريحة واستهلاك الطاقة. وأظهرت اختباراتهم أن طريقة "ستريم لوك" الجديدة توفر أماناً أقوى بكثير من الأقفال الثابتة القديمة، لكنها تستهلك مساحة أقل بـتِسعة أضعاف وطاقة أقل بـعشرين ضعفاً مقارنة بطريقة (AES) الضخمة. وهذا يضعها في منطقة مثالية: فهي أكثر أماناً بكثير من الطرق القديمة، ولكنها أكثر كفاءة بكثير من البدائل الضخمة.
أما القطعة الأخيرة من اللغز فتعالج مشكلة الرقائق الموجودة بالفعل قيد الاستخدام. فحتى القفل القوي يمكن كسره في النهاية إذا لم يتغير أبداً. ولحل هذه المشكلة، دمج الفريق ميزة تسمى "إعادة التشكيل الجزئي الديناميكي" (dynamic partial reconfiguration). تتيح هذه الميزة تحديث إعدادات أمان الشريحة أثناء تشغيلها، دون إيقاف النظام. الأمر يشبه تغيير كلمة السر لخزنة بينما لا تزال الخزنة مغلقة ومستخدمة، بدلاً من الاضطرار لكسر الخزنة لإعادة ضبطها. ووجد الباحثون أن إضافة هذه القدرة لتحديث الأمن "على الطاير" لا تضيف أي تكلفة تذكر لحجم الشريحة أو استهلاك الطاقة. ومن خلال الجمع بين التصميم التلقائي، ومحرك تشفير قوي، والقدرة على تحديث الأمن في الوقت الفعلي، يقدم هذا المسار حلاً كاملاً ومؤتمتاً لحماية الأجهزة طوال دورة حياتها، من لحظة تصميمها حتى يوم تقاعدها النهائي.
ملخص تقني: من ما قبل التصنيع إلى ما بعد النشر: مسار موحد مدفوع بالتعلم الآلي لقفل المنطق في الدوائر المتكاملة (IC)
بيان المشكلة تتعرض سلاسل توريد أشباه الموصلات العالمية لتهديدات كبيرة، بما في ذلك سرقة الملكية الفكرية (IP)، والهندسة العكسية، والتلاعب بالأجهزة. وبينما يعد "قفل المنطق" (Logic Locking) آلية دفاع واسعة الانتشار لربط الوظائف الصحيحة للدائرة بمفتاح سري، فإن فعاليته العملية تظل مقيدة بثلاثة قيود رئيسية:
الاختيار اليدوي للتقنيات: يعتمد اختيار استراتيجيات القفل الحالية بشكل كبير على التدخل اليدوي وتفتقر إلى مراعاة خصائص الدائرة، مما يؤدي إلى عدم القدرة على التوسع مع التصاميم المتباينة (المنطق التوافقي، المنطق التتابعي، والمنطق القائم على آلات الحالة المحدودة FSM).
الثغرات الاستاتيكية (الثابتة): تضع مخططات بوابات المفاتيح الثابتة التقليدية (مثل إدراج XOR/XNOR) علاقة ثابتة بين المفاتيح والمخرجات، مما يجعلها عرضة للهجمات الموجهة عبر "الأوراكل" (مثل هجمات SAT) والتحليل الهيكلي.
الافتقار إلى أمن ما بعد النشر: بمجرد تصنيع التصاميم المقفلة، تظل عادةً ثابتة طوال فترة تشغيلها، مما يتركها عرضة لتحليل القنوات الجانبية طويل الأمد وفحص تدفق البيانات (Bitstream Probing). وتفتقر الأطر الحالية إلى آليات لتحديث تكوينات القفل بعد التصنيع دون تعطيل النظام.
المنهجية يقترح البحث مساراً موحداً مكوناً من أربع مراحل مدفوعاً بالتعلم الآلي (ML)، يقوم بأتمتة دورة حياة حماية الدوائر المتكاملة من مرحلة ما قبل تصنيع التصميم إلى أمن وقت التشغيل ما بعد النشر.
يتم استخراج الميزات الهيكلية من مخططات البوابات (Gate-level netlists) لمجموعة متنوعة من الدوائر المرجعية (ISCAS'85, ISCAS'89, ITC'99, EPFL).
تشمل الميزات الأعداد الهيكلية الأولية (أنواع البوابات، القلابات Flip-flops، بارامترات FSM) والمقاييس الأمنية المشتقة (نسبة البوابة إلى القلاب، درجة مقاومة SAT، ومؤشر حساسية الخطأ).
يتم تدريب مصنف الغابة العشوائية (Random Forest) خاضع للإشراف على هذه الميزات للتنبؤ بأنسب تقنية قفل من بين خمسة مخططات كلاسيكية هي: SARLock، وFALL (قفل المنطق بتحليل الخطأ)، وTALL (المدرك للتوقيت)، وCLL (الدوري)، وCCLL (الإفساد والتصحيح).
الاختيار المدفوع بالتعلم الآلي للتقنية:
يقوم المصنف المدرب باختيار استراتيجية القفل المثلى تلقائياً بناءً على الملف التعريفي المعماري للدائرة.
يدعم المسار مساراً موازياً للقفل التشفيري: إذا كان التصميم يتطلب ضمانات أقوى، يتم توجيهه إلى مسار تنفيذ STREAMLOCK بدلاً من الإدراج الكلاسيكي.
تنفيذ مفتاح البوابة (Key-Gate Implementation):
المسار الكلاسيكي: بالنسبة للتقنيات الكلاسيكية المختارة، يتم إدراج بوابات المفاتيح باستخدام وضع موجه بالخطأ (عبر محاكي HOPE) لتعظيم تأثير انتشار الخطأ.
المسار التشفيري (STREAMLOCK): يتم نشر آلية تشفير تدفق (Stream Cipher) خفيفة الوزن ومبتكرة. تستخدم شبكة من أربعة سجلات إزاحة غير خطية (NLFSRs) متداخلة بسعة 32 بت، يتم تهيئتها بمفتاح 128 بت ومتجه تهيئة (IV). ويقوم مجمع غير خطي مستوحى من نظام Geffe بتوليد تدفق مفاتيح ديناميكي ومتغير زمنياً يحجب مخرجات الدائرة. هذا السلوك الديناميكي يقطع العلاقات البوليانية (Boolean) الثابتة التي تستغلها هجمات SAT.
أمن ما بعد النشر عبر إعادة التشكيل الجزئي الديناميكي (DPR):
يتم نشر التصميم المقفل على نسيج FPGA مع تفعيل خاصية إعادة التشكيل الجزئي الديناميكي (DPR).
يتم عزل مناطق بوابات المفاتيح في أجزاء قابلة لإعادة التشكيل (RPs). وهذا يسمح بتحديثات وقت التشغيل لتكوين القفل (مثل التبديل بين حالات XOR وXNOR) عن طريق تحميل تدفقات بيانات جزئية (Partial Bitstreams) دون مقاطعة منطق النظام الثابت أو الحاجة إلى إعادة التصنيع الكامل.
المساهمات الرئيسية
مسار موحد مؤتمت: إطار عمل متكامل من البداية للنهاية يدمج الاختيار المدفوع بالتعلم الآلي (الذي يختار التقنية)، والمسار المزدوج للتنفيذ (كلاسيكي/تشفيري)، والأمن القابل لإعادة التشكيل في وقت التشغيل.
اختيار مدرك للهندسة المعمارية مدفوع بالتعلم الآلي: يحقق مصنف الغابة العشوائية دقة عالية في ربط هياكل الدوائر بالتقنيات المثلى، مما يقلل الاعتماد على القرارات التجريبية اليدوية.
STREAMLOCK: آلية قفل تعتمد على تشفير التدفق، توفر قناعاً ديناميكياً متغيراً زمنياً، مما يوفر حماية تشفيرية أقوى من المخططات الثابتة مع الحفاظ على تكاليف برمجية منخفضة.
تعزيز الأمن عبر DPR: دمج تقنية DPR لتمكين تحديثات بوابات المفاتيح بصمت وفي وقت التشغيل، مما يعالج فجوة التكيف بعد النشر.
تحليل مقارن ثلاثي الاتجاهات: أول مقارنة تجريبية منهجية بين القفل الكلاسيكي، والقفل القائم على تشفير التدفق، والقفل القائم على AES عبر مقاييس المساحة والطاقة.
النتائج التجريبية
أداء التعلم الآلي: حقق مصنف الغابة العشوائية دقة تنبؤ تصل إلى 97% (متوسط F1 للماكرو بلغ 0.96) عبر خمس فئات قفل. وأكد التحقق من الحقيقة الأرضية (Ground Truth) أن التقنيات التي تنبأ بها التعلم الآلي تتوافق باستمرار مع الخيارات المثلى معمارياً من حيث كفاءة الموارد.
وظائف STREAMLOCK: تم التحقق من الصحة الوظيفية بنسبة 100% عبر خمسة معايير من ISCAS'85 تحت المفتاح الصحيح. كما أنتج مولد تدفق المفاتيح مخرجاً حتمياً وقابلاً لإعادة الإنتاج بغض النظر عن تعقيد الدائرة المستهدفة.
كفاءة الموارد والطاقة:
مقارنة بـ القفل القائم على AES، حقق STREAMLOCK انخفاضاً يصل إلى 9.3 ضعفاً في استخدام جداول البحث (LUT) وما يصل إلى 20.8 ضعفاً في استهلاك طاقة المنطق.
مقارنة بـ المخططات الكلاسيكية، تحمل STREAMLOCK عبئاً أكبر في المساحة ولكنه وفر حماية أقوى تشفيرياً ضد التحليل الاستاتيكي.
عبء DPR: أدى دمج DPR إلى زيادة طفيفة بنسبة 5.92% في إجمالي استهلاك الطاقة وزيادة بنسبة 0.011% في استخدام LUT، مما يؤكد جدواه كتعزيز أمني منخفض التكلفة.
الأهمية تزعم الورقة أنها أرست دعائم مسار حماية للدوائر المتكاملة قابل للتوسع وفعال من حيث الأجهزة، يجسّر الفجوة بين التقييمات الأمنية المختبرية والأنظمة المنشورة فعلياً في الميدان. ومن خلال أتمتة اختيار التقنية وإدخال أمن ديناميكي قابل لإعادة التشكيل، يعالج الإطار قيود اتخاذ القرار اليدوي والدفاعات الثابتة. وتضع النتائج STREAMLOCK كـ "حل وسط" عملي، يقدم حماية قوية تشفيرياً تتفوق على المخططات الكلاسيكية الثابتة، بينما يظل أكثر كفاءة في الموارد بكثير من البدائل الثقيلة مثل AES. كما أن دمج DPR يمد دورة حياة الأمن، مما يسمح بآليات دفاع تكيفية في بيئات التشغيل دون توقف النظام.