LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
تقدم هذه الورقة LAsset، وهو إطار عمل مؤتمت يستفيد من النماذج اللغوية الكبيرة لتحديد الأصول الأمنية من مواصفات الأجهزة وأوصاف سجل نقل البيانات (RTL)، مما يقلل بشكل كبير من الجهد اليدوي ويحقق معدلات استدعاء عالية لتعزيز قابلية التوسع في التحقق من أمن الأنظمة على شريحة (SoC) قبل مرحلة التصنيع.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تقوم ببناء مدينة ضخمة وعالية التقنية داخل حبة رمل واحدة. هذه المدينة هي "النظام على شريحة" (SoC)، وهو شريطة كمبيوتر تشغل كل شيء من ساعتك الذكية إلى سيارتك. تحتوي هذه المدينة على ملايين الغرف الصغيرة (الوحدات/Modules)، والطرق (الناقلات/Buses)، والخزائن (المسجلات/Registers)، وكلها تعمل معاً.
الآن، تخيل أنك بحاجة إلى حماية هذه المدينة من اللصوص، والجواسيس، والمخربين. ولكن المشكلة هي: هذه المدينة معقدة للغاية لدرجة أن أفضل حراس الأمن (المهندسين البشر) لا يمكنهم استيعاب كل غرفة تحتاج إلى قفل. قد يغفلون عن باب خلفي مخفي أو ينسون حراسة خزنة معينة، مما يترك المدينة بأكملها عرضة للخطر.
هذه هي المشكلة التي يحلها بحث "LAsset".
الطريقة القديمة: المحقق المرهق
تقليدياً، كان العثور على الأشياء التي تحتاج إلى حماية (والتي تسمى الأصول الأمنية/Security Assets) يشبه مطالبة محقق متعب بالسير عبر قصر يضم مليون غرفة وتخمين أي الغرف ذات قيمة.
- المحقق: خبير أمن بشري.
- المهمة: قراءة آلاف الصفحات من المخططات (المواصفات) والرسوم البيانية للأسلاك (كود RTL) يدوياً.
- المشكلة: يستغرق الأمر وقتاً طويلاً، وهو مكلف، والمحقق يصاب بالتعب ويغفل عن بعض الأشياء. إذا فاته عنصر واحد ذو قيمة، فسيتم سرقة المنزل بأكمله.
الطريقة الجديدة: LAsset (المستشار الأمني بالذكاء الاصطناعي)
ابتكر المؤلفون LAsset، وهو برنامج حاسوبي ذكي مدعوم بـ النماذج اللغوية الكبيرة (LLMs) (نفس التقنية التي تقف وراء روبوتات الدردشة مثلي). فكر في LAsset ليس كمحقق، بل كـ مستشار أمني فائق الذكاء قرأ كل الكتيبات الأمنية في العالم ويمكنه فهم المخططات فوراً.
إليك كيف يعمل LAsset، مقسماً إلى خطوات بسيطة:
1. "ماذا" و "أين" (المفاهيمي مقابل الهيكلي)
يفهم LAsset نوعين من الأصول:
- الأصول المفاهيمية (الـ "ماذا"): وهي الأفكار ذات القيمة. على سبيل المثال، "كلمة المرور السرية" أو "مفتاح التشفير". لا يهم أين تُخزن كلمة المرور؛ ففكرة كلمة المرور بحد ذاتها ذات قيمة.
- الأصول الهيكلية (الـ "أين"): وهي الأماكن المادية في الشريحة حيث تعيش كلمة المرور. على سبيل المثال، "صندوق معين داخل وحدة المعالجة المركزية حيث تُحفظ كلمة المرور".
تشبيه: إذا كان "الأصل المفاهيمي" هو سبائك ذهب، فإن "الأصل الهيكلي" هو الخزنة المحددة في البنك حيث يُحفظ ذلك الذهب. أنت بحاجة لمعرفة كل من الشيء الذي تحميه ومكان اختبائه.
2. العملية المكونة من ثلاث خطوات
لا يقوم LAsset بالتخمين فحسب؛ بل يتبع روتيناً صارماً من ثلاث خطوات:
الخطوة (أ): الإيجاز (المعالجة المسبقة للمدخلات)
يقرأ LAsset مخططات المدينة (كود RTL) ودليل المالك (مواصفات التصميم). يتجاهل الأشياء المملة (مثل مصابيح الشوارع) ويركز فقط على المباني المهمة (الوحدات الأمنية). ثم ينشئ "ورقة غش" تلخص وظيفة كل مبنى.الخطوة (ب): المطاردة (توليد الأصول)
باستخدام "ورقة الغش" الخاصة به، يعمل LAsset كمحقق يحمل عدسة مكبرة. يسأل نفسه: "لو كنت لصاً، ماذا سأسرق من هذه الغرفة؟"- يحدد الأصول الأساسية (سبائك الذهب نفسها).
- يحدد الأصول الثانوية (الحراس، أو المفاتيح، أو الممرات التي تؤدي إلى الذهب). إذا سرق اللص مفتاح الممر، فسيتمكن من الوصول إلى الذهب، لذا فإن الممر مهم أيضاً.
الخطوة (ج): التدقيق المزدوج (تحسين الأصول)
أحياناً، حتى الذكاء الاصطناعي الذكي قد يتحمس أكثر من اللازم ويعتقد أن محمصة الخبز تمثل خطراً أمنياً. يمتلك LAsset "وضع الناقد" لإيقاف ذلك.- اختبار الهجوم: يسأل: "هل يمكن لمخترق فعلياً اختراق هذا؟" إذا كانت الإجابة لا، فيقوم باستبعاد العنصر.
- فحص قاعدة البيانات: يقارن قائمته بقاعدة بيانات عالمية ضخمة للعيوب الأمنية المعروفة (تسمى CWE). إذا وجد عيباً معروفاً لهذا العنصر، فيبقي عليه في القائمة.
- التصحيح الذاتي: يراجع عمله الخاص، متسائلاً: "هل أنا متأكد من هذا؟" لإصلاح أي أخطاء.
لماذا يعد هذا أمراً هاماً؟
اختبر الباحثون LAsset على تصميمات حقيقية، بما في ذلك معالج معقد (NEORV32) ورقاقات تشفير متنوعة.
- النتائج: وجد LAsset ما بين 90% إلى 93% من الأصول الأمنية التي وجدها الخبراء البشر، لكنه فعل ذلك تلقائياً.
- الفائدة: يوفر الوقت والمال. فبدلاً من قضاء البشر أسابيع في فحص الشريحة يدوياً، يقوم LAsset بذلك في دقائق، مما يمنح المهندسين "خريطة" توضح بالضبط ما يجب إحكام إغلاقه قبل بناء الشريحة.
"درجة التأثير" (DoI)
هناك ميزة رائعة يضيفها LAsset وهي "درجة الخطورة".
- تشبيه: تخيل أن لصاً كسر نافذة (أصل ثانوي). إلى أي مدى يساعده ذلك في الوصول إلى سبائك الذهب (الأصل الأساسي)؟
- يحسب LAsset هذا رياضياً. إذا كان الأصل الثانوي يتحكم في 100% من المسار المؤدي إلى الذهب، فإنه يمتلك "درجة تأثير" عالية. وإذا كان يتحكم في جزء ضئيل فقط، فإن الدرجة تكون منخفضة. هذا يساعد المهندسين على تحديد أولويات تعزيز الأقفال أولاً.
الملخص
LAsset يشبه توظيف حارس أمن ذكي ولا يكل من الذكاء الاصطناعي ليتجول داخل مدينتك الرقمية قبل بنائها. إنه يقرأ المخططات، ويحدد كل عنصر ذي قيمة وكل مسار يؤدي إليه، ويراجع عمله مقابل تكتيكات المجرمين المعروفة، ثم يسلمك "خريطة أمنية" مثالية. هذا يضمن أنه عند بناء الشريحة أخيراً، ستكون محصنة بالفعل ضد الهجمات الأكثر احتمالاً، مما يوفر على الشركات الأخطاء المكلفة لاحقاً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.