A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End
تقدم هذه الورقة عملية تحقق شاملة لمخططات مرجع TPM الخاصة بمشروع "Veraison" لإثبات أدلة إجراءات طبقة التطبيقات، مما يكشف ويصلح ثغرة حرجة تتعلق بحداثة الـ "challenge-nonce" كانت تسمح سابقاً بقبول الاقتباسات المعاد تشغيلها كأنها صالحة بشكل غير صحيح.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
معضلة الشاهد الرقمي
تخيل أنك تحاول حل لغز ما، لكن الشخص الوحيد الذي رأى الجريمة هو المشتبه به نفسه. يقدم لك مذكرات موقعة تقول: "أنا لم أسرق الكعكة؛ كنت في المطبخ أخبز". تتحقق من التوقيع، وتجده مثاليًا. لكن هنا تكمن المشكلة: المشتبه به كتب المذكرات بعد أن أكل الكعكة، ولديه القدرة على إعادة كتابة تاريخ المطبخ. في عالم أمن الكمبيوتر، تُسمى هذه "فجوة المساءلة". عندما يقوم وكيل ذكاء اصطناعي أو برنامج آلي بفعل مهم — مثل نقل أموال أو تغيير إعدادات النظام — فإنه يترك خلفه سجلًا. لكن هذا السجل يتم إنشاؤه بواسطة البرنامج نفسه الذي نحاول الوثوق به. إذا كان البرنامج يكذب، سيبدو السجل مثاليًا، لكن القصة ستكون كذبة.
لحل هذه المشكلة، يستخدم العلماء حيلة ذكية تسمى الشهادة عن بُعد (Remote Attestation). فكر في الأمر ككاتب عدل (موثق) لا ينام أبدًا. بدلًا من الثقة في مذكرات المشتبه به، نطلب من شريحة أجهزة خاصة غير قابلة للتغيير (تسمى TPM) داخل الكمبيوتر أن تأخذ "لقطة" (Snapshot) لما يفعله البرنامج في هذه اللحظة. تقوم هذه الشريحة بتوقيع "اقتباس" (شهادة رقمية) يقول: "لقد رأيت البرنامج يفعل (س)". إذا حاول البرنامج الكذب بشأن ما حدث، فلن تتطابق اللقطة مع الكذبة، وسيكتشفها الموثق. هذه الورقة تتعلق بربط "ما حدث" (الإجراء) بـ "اللقطة" (الدليل الأمني) لضمان عدم قدرة وكلاء الذكاء الاصطناعي على تزييف تاريخهم.
قصة الورقة: الإمساك بالكذبة "المسافرة عبر الزمن"
تأخذ هذه الورقة فكرة جديدة تسمى حزمة دليل الإجراء (AEP) وتضعها تحت اختبار حقيقي وصارم. حزمة (AEP) تشبه الإيصال الرقمي لأفعال الذكاء الاصطناعي: فهي تسرد ما فعله الذكاء الاصطناعي، ومن أمره بالقيام به، وما كانت النتيجة. أراد المؤلف معرفة ما إذا كان بإمكانهم ربط هذا الإيصال بلقطة الأجهزة بحيث إذا حاول الذكاء الاصطناعي استبدال النتيجة (مثل تغيير "لقد حولت 100 دولار" إلى "لقد حولت 10 دولارات")، فإن توقيع الجهاز سينكسر.
قاموا ببناء نظام كامل باستخدام شريحة أمنية محاكية (نسخة برمجية من الـ TPM) وأرسلوا إيصالاتهم عبر فاحص أمني حقيقي متوافق مع المعايير يسمى Project Veraison. والنتيجة؟ لقد نجح الأمر تمامًا في كشف الأكاذيب حول ما حدث. عندما قاموا باستبدال نتيجة إجراء ما، صنف النظام الأمر بشكل صحيح على أنه "متعارض" (طريقة منمقة لقول "لا، هذا خطأ"). وعندما حاولوا تزوير توقيع، كشف النظام ذلك أيضًا. أثبت هذا أن "الإيصال" و"اللقطة" ملتصقان ببعضهما بقوة؛ لا يمكنك تغيير القصة دون كسر الختم.
ومع ذلك، وجد المؤلف فخًا خفيًا.
أثناء اختبار النظام، اكتشفوا فجوة كبيرة في كيفية تعامل الفاحص الأمني مع مسألة الحداثة (Freshness). في العالم الحقيقي، إذا أظهرت لك حارس أمن بطاقة هويتك، فعليه أن يعرف أنها هوية اليوم، وليست نسخة صنعتها العام الماضي. في العالم الرقمي، يتم ذلك عبر "الرقم العشوائي" (Nonce) — وهو رقم عشوائي يتغير في كل مرة تطلب فيها فحصًا. الأمر يشبه قيام الحارس بسؤال: "ما هي الكلمة السرية لهذا اليوم؟" وإجابتك بالكلمة الصحيحة.
وجد المؤلف أن مخطط المرجع الخاص بـ Project Veraison كان يمارس خدعة. فهو يطلب الكلمة السرية، ثم يقوم النظام بترديدها في التقرير النهائي، مما يجعل الأمر يبدو وكأنه تحقق من الكلمة. لكن في الواقع، لم يقم الفاحص الأمني أبدًا بمقارنة الكلمة السرية في التقرير بالكلمة التي طلبها! لقد تحقق فقط من التوقيع والمحتوى.
النتيجة: يمكن للمهاجم سرقة "إيصال" صالح من يوم جيد، والانتظار لمدة أسبوع، ثم إعادة تشغيله. ولأن النظام لم يكن يتحقق مما إذا كانت الكلمة السرية تطابق اليوم الحالي، فسيظل يقول: "نعم، هذا جيد!"، رغم أن حالة الذكاء الاصطناعي الحالية قد تكون مختلفة تمامًا. كان الأمر يشبه قبول حارس أمن لبطاقة هوية من عام 2015 لأن الصورة تشبه الشخص، رغم أن الشخص قد غير اسمه وعنوانه منذ ذلك الحين.
الإصلاح: لم يكتفِ المؤلف بالإشارة إلى الثغرة فحسب، بل قام بسدها. لقد أجرى تغييرًا طفيفًا في الكود (سطر واحد فقط) لجعل النظام يقرأ بالفعل الكلمة السرية، ووضع قاعدة بسيطة (سياسة) تقول: "إذا لم تتطابق الكلمة السرية مع الكلمة التي طلبناها للتو، ارفضها فورًا". اختبروا هذا الإصلاح وأظهروا أن نفس الإيصال "الجيد"، عند إعادة تشغيله مرة ثانية، تم رفضه الآن بشكل صحيح كإجراء "متعارض".
ماذا يعني هذا:
تؤكد الورقة أنه يمكننا بنجاح ربط أفعال الذكاء الاصطناعي بأمن الأجهزة، لكنها تحذرنا أيضًا من أنه حتى النظام "المثالي" يمكن أن يحتوي على نقاط عمياء. وجد المؤلف أن المخطط الأمني المحدد الذي اختبره كان يفتقر إلى فحص حيوي لـ "هل يحدث هذا الآن؟". لقد قدم إصلاحًا فعالًا يحول الكذبة المعاد تشغيلها إلى فشل مكتشف. وبينما استخدم اختبارهم شريحة محاكية (وليس شريحة فيزيائية في كمبيوتر حقيقي)، فإن منطق الإصلاح ينطبق على الأجهزة الحقيقية أيضًا. لا تدعي الورقة أنها حلت جميع مشاكل أمن الذكاء الاصطناعي، لكنها نجحت في إغلاق ثغرة محددة وخطيرة سمحت للسجلات القديمة والقديمة بالتظاهر بأنها جديدة وحديثة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.