ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
إن ATLAS هو إطار عمل مدفوع بنماذج لغوية كبيرة (LLM) يعمل على أتمتة التحقق من أمن الأنظمة على شريحة (SoC) عبر تحويل المعرفة المعيارية بالثغرات الأمنية إلى خصائص قائمة على التأكيد (assertion-based properties) ونصوص برمجية للتحقق، وقد نجح في اكتشاف والتحقق من العديد من الأخطاء الشائعة في البرمجيات (CWEs) في تقييمات معيارية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تقوم ببناء قلعة ضخمة، عالية التقنية (وهي ما يُعرف بـ النظام على شريحة أو SoC) تدير منزلك الذكي، وسياراتك، وحتى حسابك البنكي. تتكون هذه القلعة من ملايين الغرف والأبواب والممرات السرية الصغيرة.
في الماضي، كان التحقق مما إذا كانت هذه القلعة آمنة يشبه توظيف حارس واحد للمرور عبر كل غرفة، للبحث عن نوافذ مفتوحة أو أقفال مكسورة. كان الأمر بطيئاً، مرهقاً، وغالباً ما كان الحارس يغفل عن أشياء لأن القلعة كانت شديدة التعقيد.
ATLAS هو مساعد ذكي فائق القدرة مصمم لإصلاح هذا الأمر. فكر فيه كأنه شرلوك هولمز الرقمي الذي لا يكتفي بالمرور في الأرجاء فحسب؛ بل يمتلك موسوعة سحرية لكل طريقة ممكنة لاختراق القلعة، وهو يعرف بالضبط أين يبحث.
إليك كيف يعمل ATLAS، مقسماً إلى خطوات بسيطة:
1. مكتبة "ملصقات المطلوبين" (قاعدة المعرفة)
تخيل مكتبة ضخمة تحتوي على "ملصقات مطلوبين" لكل نوع من حيل المجرمين المعروفة. في عالم التكنولوجيا، تُسمى هذه الملصقات CWEs (نقاط الضعف الشائعة). هناك مئات الآلاف من هذه الملصقات التي تصف أشياء مثل "ترك الباب الخلفي مفتوحاً" أو "السماح لأي شخص بدخول غرفة الملك".
- المشكلة: قبل ATLAS، كان على المهندسين قراءة هذه الملصقات يدوياً وتخمين أي منها ينطبق على قلعتهم الخاصة.
- حل ATLAS: لقد قرأ ATLAS بالفعل جميع الملصقات ونظمها في قاعدة بيانات لنموذج التهديد. إنه يعرف بالضبط أي "ملصق مطلوب" يتناسب مع أي جزء من القلعة.
2. "محقق الأصول" (البحث عما يجب حمايته)
قبل أن تتمكن من حماية قلعتك، يجب أن تعرف ما هو الثمين بداخلها. هل هو الذهب؟ الخرائط السرية؟ أم المفتاح الرئيسي؟
- يقوم ATLAS بمسح مخططات قلعتك (كود الـ RTL) ويعمل كالمحقق. يسأل: "أين الذهب؟ أين المفاتيح السرية؟"
- يحدد هذه "الأصول" (مثل شريحة ذاكرة أو سجل كلمة مرور) ويصنفها كـ "عالية القيمة".
3. "الخاطبة" (ربط النقاط ببعضها)
الآن، يقوم ATLAS بالسحر. يأخذ الأصول التي وجدها وينظر إلى مكتبة ملصقات المطلوبين الخاصة به.
- يسأل: "حسناً، لدينا 'مفتاح سري' هنا. ما هي حيل المجرمين (CEWs) الشهيرة بسرقة المفاتيح السرية؟"
- يقوم فوراً بربط الأصل بالتهديدات المحددة. هو لا يخمن فحسب؛ بل يستخدم نموذجاً معيارياً ليقول: "إذا حاول مخترق القيام بـ (س) تجاه هذا المفتاح، فإن القلعة ستنهار".
4. "كاتب كتاب القواعد" (إنشاء اختبارات الأمان)
هذا هو الجزء الأهم. في الماضي، كان كتابة القواعد لاختبار القلعة أمراً صعباً. كان عليك كتابة لغة قانونية معقدة (تأكيدات صورية - formal assertions) لا يفهمها إلا عدد قليل من الخبراء.
- الطريقة القديمة: يحاول خبير بشري كتابة قاعدة مثل: "إذا كان الباب مفتوحاً والشمس مشرقة، يجب على الحارس أن يصرخ". غالباً ما يخطئون أو يغفلون عن حالة استثنائية.
- طريقة ATLAS: ينظر ATLAS إلى مخططات القلعة، ودليل المستخدم الخاص بها، وملخص لكيفية عملها. ثم يكتب كتاب القواعد تلقائياً.
- يقول: "أرى باباً (أصل). وأعلم أن لصاً قد يحاول فتح القفل (تهديد). لذا، سأكتب قاعدة: 'إذا تم فتح القفل، أطلق الإنذار فوراً'".
- يقوم بترجمة ذلك إلى لغة حاسوبية يمكن لروبوت أمني (أداة تُسمى JasperGold) فهمها تماماً.
5. "الروبوت الأمني" (الإثبات)
أخيراً، يسلم ATLAS هذه القواعد الجديدة للروبوت الأمني.
- يقوم الروبوت بتشغيل محاكاة. يحاول كسر القلعة باستخدام كل حيلة في الكتاب.
- إذا صمدت القلعة: يقول: "آمن! القاعدة نجحت".
- إذا انكسرت القلعة: يقول: "تم كشفك! إليك بالضبط كيف دخل اللص".
لماذا يعد هذا أمراً مهماً للغاية؟
- السرعة: يقوم في دقائق بما كان يستغرق من البشر أسابيع.
- الدقة: وجد 39 من أصل 48 ثغرة أمنية معروفة في حالات الاختبار، وبالنسبة لـ 33 منها، كتب القاعدة المثالية للإمساك بالثغرة.
- القابلية للتوسع: مع ازدياد حجم القلاع وتعقيدها، لا يستطيع البشر مواكبة الأمر. أما ATLAS فيصبح أفضل باستمرار.
ملخص التشبيه
فكر في ATLAS كأنه خبير تأمين فائق الذكاء لقلعتك الرقمية.
- يعرف كل طريقة ممكنة قد تؤدي لاحتراق المنزل (المكتبة).
- يجد الخشب القابل للاشتعال في منزلك تحديداً (الأصول).
- يكتب كود سلامة من الحرائق مخصص لمنزلك (القواعد).
- يرسل روبوتاً لمحاولة إشعال نار لإثبات أن الكود يعمل (التحقق).
من خلال أتمتة هذه العملية، يساعد ATLAS المهندسين على بناء شرائح "آمنة بالتصميم"، مما يضمن أن تقنياتنا المستقبلية آمنة حتى قبل أن تغادر المصنع.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.