An ECC-Diffie Hellman Authentication Scheme with PK-based Revocation for VANETs

تخيل عالماً تكون فيه كل سيارة على الطريق تتحدث باستمرار مع كل سيارة أخرى ومع البنية التحتية للطريق، وتشارك المعلومات حول الازدحام المروري، أو الكبح المفاجئ، أو بقع الجليد لمنع الحوادث. تعتمد هذه الرؤية لطريق سريع ذكي ومتصل على شبكة واسعة وغير مرئية تسمى "الشبكة اللاسلكية للمركبات" (Vehicular Ad-hoc Network). ومع ذلك، ولأن هذه الرسائل تنتقل عبر قنوات لاسلكية مفتوحة، فهي عرضة للاعتراض والتلاعب. يمكن لفاعل خبيث أن يتظاهر بأنه سيارة، أو يزور تحذيراً بشأن عائق غير موجود، أو يتتبع تحركات السائق لانتهاك خصوصيته. ويتمثل التحدي المركزي للمهندسين في إنشاء نظام يتحقق من أن كل رسالة حقيقية ومن مصدر موثوق، دون إبطاء حركة المرور أو الكشف عن هوية من يقود.

في دراسة حديثة، اقترح الباحثان لاكشمي شاندوليا وأوم بال من جامعة دلهي بنية أمنية جديدة صُممت لحل هذه المشكلات تحديداً. فقد طورا طريقة تسمح للمركبات بالتحقق من هوية بعضها البعض ومن المعدات الموجودة على جانب الطريق بسرعة وأمان، مع إبقاء هويات السائقين مخفية عن الأعين المتطفلة. يجمع نهجهما بين عدة أدوات تشفير راسخة في عملية انسيابية. فبدلاً من الاعتماد على طرق تحقق ثقيلة وبطيئة تعيق النظام، يستخدمان تقنية توقيع رقمي خفيفة تعتمد على رياضيات المنحنى الإهليلجي. تتيح هذه الطريقة للمركبة إثبات هويتها بجهد حسابي ضئيل جداً. ولضمان عدم تعديل الرسائل أثناء انتقالها، يستخدم النظام رمزاً محدداً، يُعرف باسم "رمز مصادقة الرسالة"، والذي يعمل مثل ختم فريد لا يمكن التحقق منه إلا من قبل المرسل والمستقبل فقط.

ويعد الأسلوب الذي يتعامل به النظام مع الخصوصية مكوناً حاسماً في حلهم. في هذا النظام، لا تبث المركبة هويتها الحقيقية، مثل لوحة الترخيص أو اسم المالك؛ بدلاً من ذلك، تستخدم سلسلة من الأسماء المؤقتة والمتغيرة، أو "الأسماء المستعارة"، لكل جلسة اتصال. تتغير هذه الأسماء بشكل متكرر، مما يجعل من المستحيل تقريباً على أي طرف خارجي ربط الرسائل المختلفة بنفس السيارة بمرور الوقت. وهذا يضمن أنه بينما تعرف الشبكة أن الرسالة صالحة، لا يمكنها تتبع مسار السائق. ومع ذلك، فإن النظام ليس مصمماً ليكون مجهول الهوية تماماً أمام السلطات؛ فإذا تصرفت مركبة بشكل ضار، مثل إرسال تحذيرات كاذبة للتسبب في حادث، تمتلك سلطة مركزية موثوقة القدرة على تتبع الاسم المستعار للوصول إلى الهوية الحقيقية للسائق. هذا التوازن يسمح بالخصوصية اليومية مع الحفاظ على المساءلة تجاه الجهات السيئة.

كما عالج الباحثون المشكلة الصعبة المتمثلة في إلغاء وصول المركبات المخترقة أو المسروقة. ففي العديد من الأنظمة القائمة، يكون التحقق مما إذا كانت الشهادة الرقمية للمركبة قد أُلغيت أم لا عملية بطيئة وتتطلب تنزيل قوائم كبيرة من الجهات السيئة. قدم المؤلفان طريقة جديدة باستخدام قائمة إلغاء تعتمد على المفتاح العام تعمل مثل جدول بحث عالي الكفاءة. وهذا يسمح للوحدات الموجودة على جانب الطريق بالتحقق مما إذا كانت المركبة محظورة بشكل فوري تقريباً، بغض النظر عن عدد المركبات الموجودة في الشبكة. وقد أظهرت عمليات المحاكاة التي أجرياها أن هذه الطريقة الجديدة أسرع بمئات المرات في التحقق من حالة الإلغاء مقارنة بالطرق التقليدية، حتى عند وجود آلاف المركبات. وهذه السرعة أمر بالغ الأهمية لأن التأخير في التحقق من الرسالة قد يعني الفرق بين التوقف الآمن والاصطدام.

ولمنع المهاجمين من إعادة تشغيل رسائل قديمة وصالحة لخداع النظام، يعتمد المخطط على مزامنة زمنية دقيقة باستخدام إشارات نظام تحديد المواقع العالمي (GPS). يتم ختم كل رسالة بالوقت الدقيق الذي أُرسلت فيه. وإذا اكتشف المستقبل أن الرسالة قديمة جداً، يتم تجاهلها فوراً. كما بنى الباحثون ضمانات ضد "تزييف نظام تحديد المواقع" (GPS spoofing)، حيث يحاول المهاجم تزييف إشارة الوقت. إذا كانت إشارة نظام تحديد المواخل غير موثوقة، ينتقل النظام تلقائياً إلى استخدام إشارات الوقت التي تبثها الوحدات الموجودة على جانب الطريق، والتي تتم مزامنتها بدورها مع ساعة مركزية آمنة. وهذا يضمن بقاء النظام قوياً حتى في الأنفاق أو المناطق الحضرية المزدحمة حيث قد تكون إشارات الأقمار الصناعية ضعيفة.

اختبر الفريق مقترحه من خلال تحليل رياضي ومحاكاة حاسوبية صارمة. وقد أثبتوا أن النظام يمكنه مقاومة أنواع مختلفة من الهجمات، بما في ذلك محاولات تزوير الرسائل، أو انتحال صفة المركبات، أو خدا الشبكة بقبول بيانات كاذبة. وفي اختباراتهم، تم قياس الوقت اللازم للتحقق من الرسالة بالميكروثانية، وهي سرعة كافية للتعامل مع الحجم الكبير من البيانات المتبادلة على الطرق السريعة المزدحمة. كما تم الإبقاء على كمية البيانات المطلوبة لإرسال هذه الضوابط الأمنية منخفضة جداً، مما يضمن بقاء عرض النطاق الترددي للشبكة متاحاً لمعلومات حركة المرور الفعلية. ومن خلال الجمع بين التحقق السريع، والخصوصية القوية، والإلغاء الفعال، رسم الباحثون مساراً عملياً لتأمين مستقبل النقل المتصل، مما يجعل حلم شبكة الطرق السريعة الآمنة والمؤتمتة أمراً قابلاً للتحقيق.