Post-Quantum and Trust-Aware Authentication for Permissioned Vehicular Blockchains: Session-Amortized V2X Security with Historical Key Continuity
تقترح هذه الورقة بنية مصادقة هجينة لسلاسل الكتل المركبة ذات الأذونات، تجمع بين إنشاء مفاتيح ما بعد الكم مع رموز مصادقة الرسائل المرتبطة بالجلسة وسياسة قبول مدركة للثقة، وذلك لتقليل عبء الاتصالات وزمن الاستجابة بشكل جذري مع الحفاظ على أمن قوي ضد الهجمات الداخلية عبر دورات حياة المركبات.
تخيل عالماً تتحدث فيه السيارات مع بعضها البعض باستمرار، وتتبادل المعلومات حول ازدحام المرور، والطرق الزلقة، والتوقفات المفاجئة للحفاظ على سلامة الجميع. تعتمد هذه المحادثة، المعروفة باسم التواصل بين المركبات وكل ما يحيط بها (V2X)، على التوقيعات الرقمية لإثبات أن الرسالة حقيقية وليست مزيفة أرسلها أحد المتسللين. اليوم، تستخدم هذه التوقيعات رياضيات معقدة تعتمد على الأعداد الأولية، وهي طريقة نجحت بشكل جيد لعقود من الزمن. ومع ذلك، يعلم العلماء أن الحواسيب الكمومية القوية، التي لا تزال قيد البناء، ستتمكن في النهاية من كسر هذه الرياضيات، مما يترك طرقنا عرضة للخطر. ويكمن التحدي أمام المهندسين في الانتقال إلى نوع جديد من الرياضيات يمكنه الصمود أمام هذه الآلات المستقبلية دون إبطاء المحادثة سريعة الوتيرة بين السيارات، والتي تحدث آلاف المرات في كل ثانية.
لقد اقترح باحث في جامعة فورونيش الحكومية للتقنيات الحرجية طريقة جديدة للتعامل مع هذا الانتقال في المركبات المتصلة. تكمن المشكلة الجوهرية في أن الرياضيات الجديدة المقاومة للكم تتطلب توقيعات رقمية أكبر بكثير من النظام القديم. فإذا حملت كل رسالة سلامة ترسلها السيارة توقيعاً كمومياً كاملاً، فسيصبح الشبكة اللاسلكية مزدحمة، مما يسبب تأخيرات خطيرة. ويتمثل حل الباحث في فصل العمل الشاق عن العمل الروتيني؛ فبدلاً من توقيع كل رسالة بتوقيع كمومي ضخم ومعقد، يستخدم النظام "مصافحة كمومية" قوية لمرة واحدة فقط لإنشاء جلسة آمنة. وبمجرد فتح هذه الجلسة، تنتقل السيارات إلى طريقة أخف وأسرع لتوقيع رسائلها المستمرة، تماماً مثلما قد يُظهر السائق رخصته في بداية رحلة ما، ثم يكتفي بإظهار بطاقة معتمدة مسبقاً عند كل توقف لاحق.
هذا النهج، الذي فصلته دراسة حديثة، يجمع بين طريقة الجلسة الفعالة هذه ونظام ذكي لتقدير الثقة. قام الباحث ببناء محاكاة لاختبار كيفية عمل هذا النظام في بيئة مرورية مزدحمة تضم مئات السيارات. وأظهرت النتتائج أنه من خلال استخدام التوقيعات الكمومية الثقيلة فقط للاتصال الأولي وللتحديثات العرضية للمفاتيح، انخفض حجم البيانات المرسلة مع كل رسالة روتينية بشكل هائل. وفي المحاكاة، تقلص حجم البيانات لرسالة قياسية من أكثر من 2400 بايت إلى 74 بايت فقط. وقد سمح هذا الانخفاض للنظام بمعالجة الرسائل بشكل أسرع؛ فعند وجود حمل يصل إلى 500 مركبة نشطة، انخفض الوقت المستغرق للتحقق من الرسالة من ما يقرب من 4 مللي ثانية إلى حوالي 21 مللي ثانية. وهذه السرعة أمر بالغ الأهمية لأن حتى جزءاً من الثانية من التأخير يمكن أن يؤثر على سرعة استجابة السيارة في حالات الطوارئ.
يتضمن هذا النظام أيضاً طبقة "واعية بالثقة" تراقب سلوك المركبات، وليس فقط ما تقوله. فحتى لو كانت السيارة تمتلك مفتاحاً رقمياً صالحاً، فقد تتصرف بشكل غريب، مثل إرسال رسائل كثيرة جداً أو التناقض مع ما تراه المستشعرات الأخرى. يتتبع هذا النظام هذا السلوك؛ فإذا بدأت مركبة ما في التصرف بشكل مريب، يقوم النظام بسرعة بخفض درجة ثقتها وتقييد قدرتها على إرسال رسائل السلامة الحرجة. ومع ذلك، إذا عادت المركبة للسلوك الجيد، فإن استعادة درجة ثقتها تستغرق وقتاً طويلاً. هذا التصميم يمنع الطرف السيئ من مجرد إيقاف هجومه لبضع ثوانٍ لإعادة ضبط وضعه ثم البدء من جديد. وقد أظهرت المحاكاة أن هذه الطريقة يمكنها رفض أكثر من 96 في المائة من الرسائل الضارة من المركبات المخترقة، مع إبقاء عدد السيارات البريئة التي تم حظرها بالخطأ أقل من 2 في المائة.
هناك جزء حيوي آخر في هذا التصميم يتعلق بكيفية التعامل مع العمر الطويل للمركبة. تبقى السيارات على الطريق لسنوات عديدة، ويجب تغيير مفاتيحها الرقمية بانتظام لتبقى آمنة. لقد قدم الباحث طريقة لتوقيع عملية الانتقال من مفتاح قديم إلى مفتاح جديد، مما يخلق سلسلة تاريخ مستمرة وغير منقطعة. وهذا يضمن أنه حتى بعد تدوير المفتاح، يمكن التحقق من الرسائل الماضية كرسائل موثوقة، ولا يمكن لأحد تبديل مفتاح سراً لإخفاء آثاره. وتؤكد الدراسة أن دورة الحياة الكاملة هذه — من المصافحة الكمومية الأولية إلى الرسائل الخفيفة اليومية وإدارة المفاتيح طويلة الأمد — يمكن أن تعمل معاً دون إثقال كاهل الشبكة. ورغم أن الدراسة أجريت عبر محاكاة حاسوبية وليس على طرق حقيقية، إلا أن النتائج تشير إلى أنه من الممكن تأمين مستقبل المركبات المتصلة ضد التهديدات الكمومية دون التضحية بالسرعة والكفاءة اللازمتين للقيادة الآمنة.
ملخص تقني: التوثيق ما بعد الكمي والوعي بالثقة لسلاسل الكتل المركبات ذات الصلاحيات
بيان المشكلة تواجه أنظمة الاتصال بين المركبات (V2X) تحديًا مزدوجًا: التهديد الوشيك الذي تشكله الحواسيب الكمية على التشفير الحالي القائم على المنحنيات الإهليلجية، والقيود العملية لرسائل السلامة عالية المعدل. وبينما قامت المعهد الوطني للمعايير والتقنية (NIST) بتوحيد خوارزميات التشفير ما بعد الكمي (PQC) مثل ML-DSA (خوارزمية التوقيع الرقمي) وML-KEM (آلية تغليف المفتاح)، فإن أحجام آثارها (artifacts) أكبر بكثير من نظيراتها الكلاسيكية. إن تطبيق توقيع ML-DSA كامل (حوالي 2,420 بايت) على كل رسالة سلامة دورية في نظام V2X سيؤدي إلى أعباء اتصالات باهظة، ومخاطر التجزئة، وزمن تحقق مرتفع. علاوة على ذلك، لا يمكن للتوثيق التشفيري وحده التمييز بين حامل اعتماد مشروع ومركبة مخترقة ترسل بيانات متلاعبًا بها أو مسيئة للمعدل. غالبًا ما تفشل الحلول الحالية في دمج الهجرة إلى التشفير ما بعد الكمي، وتجميع الرسائل عالية المعدل، وإدارة الثقة السلوكية، واستمرارية المفاتك طويلة الأمد في دورة حياة واحدة.
المنهجية يقترح البحث بنية توثيق موجهة لدورة الحياة لسلاسل الكتل الخاصة بالمركبات، تقوم بفصل العمليات التي تعتمد على المفاتيح العامة غير المتماثلة (التي تحدث بشكل متباعد) عن توثيق الرسائل عالية المعدل. يعتمد النظام على ثلاث آليات أساسية:
التشفير المجمع للجلسة (Session-Amortized Cryptography):
المصافحة (Handshake): عند دخول نطاق معين، تقوم المركبة وجهاز توثيق (RSU) بإجراء مصافحة متبادلة ما بعد كمية. يتبادلان القيم العشوائية (nonces)، ويغلفان الأسرار باستخدام ML-KEM، ويوقعان سجل المصافحة باستخدام ML-DSA. يؤدي هذا إلى إنشاء سر جلسة مشترك (Ki,r) مشتق عبر HKDF-SHA-256.
الرسائل الروتينية: بدلاً من توقيع كل رسالة، يتم توثيق مظاريف V2X الروتينية باستخدام علامة (tag) من نوع HMAC-SHA-256 مرتبطة بالجلسة ومشتقة من سر الجلسة. يقلل هذا من الحمولة التشفيرية لكل رسالة من كيلوبايتات إلى علامة بحجم 32 بايت بالإضافة إلى رؤوس (headers) مدمجة.
إدارة الثقة غير المتماثلة:
يستخدم النظام حالة ثقة محدودة (Ti∈[0,1]) يتم تحديثها بناءً على الأدلة الموثقة (صحة التوثيق، الحداثة، اتساق البروتوكول، والامتثال للمعدل).
الديناميكيات غير المتماثلة: يستخدم النموذج معاملات كسب متميزة للتعافي (ηplus) وللعقاب (ηminus)، حيث ηminus>ηplus. يضمن هذا تدهور الثقة بسرعة عند اكتشاف الانتهاكات، بينما تتعافى ببطء، مما يمنع استراتيجيات التذبذب "سلوك-هجوم-تعافي".
سياسة القبول: تُصنف المركبات إلى ثلاثة مسارات: سريع (ثقة عالية)، اختباري (غير مؤكد)، أو حجر صحي (ثقة منخفضة). تُمنع المركبات المحجورة من الإجراءات المتعلقة بالسلامة ولكنها تحتفظ بسجل قابل للتدقيق.
استمرارية المفاتيح التاريخية:
لإدارة تدوير المفاتيح عبر أعمار المركبات الطويلة دون كسر القدرة على التحقق التاريخي، يتطلب النظام بيان انتقال موقعًا (τ) عند تدوير المفاتيح. يقوم الجيل الجديد بتوقيع بيان يربط المفاتيح العامة الجديدة بمفتاح الجيل السابق. بقيت السلسلة (ledger) تحتفظ بمواد التحقق العامة للأجيال التاريخية، مما يسمح ببقاء التواقيع الماضية قابلة للتحقق حتى بعد التدوير، مع منع استبدال المفاتيح الصامت.
المساهمات الرئيسية يحدد البحث أربع مساهمات محددة:
بروتوكول التجميع للجلسة: بروتوكول يجمع بين توثيق هوية ML-DSA-44 وإنشاء جلسة ML-KEM-512 مع MACs متماثلة لحركة المرور الروتينية، لتجنب تواقيع PQC لكل رسالة.
نموذج الثقة غير المتماثل: آلية لتحديث الثقة حيث يقلل الدليل السلبي الثقة بشكل أسرع مما يستعيدها الدليل الإيجابي، مما يحد من التلاعب الاستراتيجي.
استمرارية المفاتيح الموقعة: آلية تضمن أن تدوير المفاتيح مرتبط تشفيرًا بالأجيال السابقة، مما يحافظ على القدرة على التحقق من البيانات التاريخية دون الاحتفاظ بمفاتيح الجلسة القديمة.
التقييم المتكامل: محاكاة حدث منفصل مضبوطة تقيس المقايضات بين زمن الانتقال (latency)، وأعباء الاتصالات، ورفض تهديدات الداخل مقارنة بالنماذج الكلاسيكية، ونماذج PQC الصرفة، ونماذج الثقة فقط.
نتائج الأداء تم التقييم عبر محاكاة حدث منفصل مع ما يصل إلى 500 مركبة نشطة وأحجام آثار NIST المعيارية:
زمن الانتقال (Latency): عند 500 مركبة، يبلغ وسيط زمن انتقال الرسالة الموثقة 20.8 مللي ثانية للتصميم المقترح، مقارنة بـ 39.6 مللي ثانية للنموذج المرجعي الذي يستخدم توقيع ML-DSA لكل رسالة.
الأعباء (Overhead): ينخفض عبء التوثيق المجمع لكل رسالة روتينية من 2,452 بايت (ML-DSA مباشر) إلى 74 بايت (جلسة MAC + تكلفة مصافحة مجمعة)، أي انخفاض بنسبة 97.0%.
رفض التهديدات: في ظل هجمات الداخل التي تحمل اعتمادات، ترفض سياسة الثقة من 96.2% إلى 98.1% من الرسائل الضارة بعد التقارب، مع إبقاء معدل حجر المركبات السليمة دون 1.6%.
الإنتاجية (Throughput): يدعم النظام المقترح حوالي 2,130 رسالة/ثانية، متفوقًا على نموذج PQC-static (1,320 رسالة/ثانية) ومقتربًا من نموذج ECC الكلاسيكي (2,250 رسالة/ثانية).
الأهمية والادعاءات يجادل البحث بأن التوثيق في المركبات ما بعد الكمي يكون عمليًا فقط عندما يتم تصميم استمرارية المفاتيح، وتجميع الجلسات، والقبول السلوكي كدورة حياة أمنية موحدة وليس كآليات مستقلة. يصرح المؤلف صراحةً بأنه لا يقدم بدائع تشفيرية جديدة؛ بل تكمن المساهمة في دمج خوارزميات NIST المعيارية (ML-DSA-44، ML-KEM-512) مع سياسة قبول واعية بالثقة وطبقة استمرارية تاريخية موقعة.
يعالج التصميم القيد المحدد المتمثل في ضرية بقاء المركبات والبنية التحتية آمنة لعقود، مما قد يجعلها تتجاوز أفق الهجرة من التشفير الكلاسيكي. ومن خلال نقل العمليات غير المتماثلة المكلفة إلى إعداد الجلسة ونقاط تدوير المفاتيح، يحافظ النظام على مقاومة الكم للهوية وإنشاء الجلسة مع الحفاظ على متطلبات زمن الانتقال المنخفض وعرض النطاق الترددي المنخفض لحركة مرور سلامة V2X عالية المعدل. يشير المؤلف إلى أن التقييم قائم على المحاكاة ويفترض أوقات خدمة محددة للعمليات التشفيرية؛ وسيتطلب النشر في العالم الحقيقي إجراء اختبارات قياسية على أجهزة بمعايير السيارات وتحققًا إضافيًا من عتبات الثقة مقابل نماذج السلوك الضار الفعلية.