Integrating Random Number Generation with the Rabin Cryptosystem for a Robust Two-Way Authentication in RFID
تقترح هذه الورقة بروتوكول مصادقة ثنائي الاتجاه منخفض التكلفة ومتين لأنظمة تحديد الهوية بموجات الراديو (RFID) منخفضة التكلفة في بيئات إنترنت الأشياء، والذي يدمج نظام رابين التشفيري مع توليد الأرقام العشوائية لتعزيز الخصوصية، ومنع هجمات إعادة التشغيل وهجمات القوة الغاشمة، وضمان حداثة المعلومات.
في الشبكة غير المرئية التي تربط عالمنا الحديث، تعمل الأجهزة الصغيرة التي تسمى علامات تحديد الهوية بموجات الراديو (RFID) كحراس صامتين للتجارة والخدمات اللوجستية. هذه الرقائق الصغيرة، التي غالباً ما لا يتجاوز حجمها حجم طابع البريد، تسمح بتتبع كل شيء من حاويات الشحن إلى الماشية دون اتصال جسدي. إنها العمود الفقري لإنترنت الأشياء، مما يتيح لسلاسل التوريد أن تتحرك بسرعة ودقة. ومع ذلك، فإن هذه الراحة تأتي مع ثغرة أمنية كبيرة؛ فبما أن هذه العلامات تتواصل عبر موجات هوائية مفتوحة، فهي معرضة للتنصت، حيث يمكن للمستمعين غير المرئيين اعتراض رسائلها، أو للتزييف، حيث يتظاهر مجرم بأنه ماسح ضوئي شرعي لسرقة البيانات. ويتمثل التحدي الذي يواجه المهندسين في بناء نظام أمني قوي بما يكفي لإيقاف هؤلاء المتسللين، ولكنه بسيط بما يكفي للعمل على جهاز يكاد يخلو من البطارية أو القدرة الحوسبية. وغالباً ما تكون أساليب الأمن التقليدية المستخدمة في أجهزة الكمبيوتر ثقيلة ومعقدة للغاية بالنسبة لهذه الرقائق الصغيرة، مما يترك فجوة بين الحاجة إلى السلامة وواقع الأجهزة.
لقد عالج الباحثون في جامعة غوانغدونغ للتكنولوجيا البتروكيميائية هذه الفجوة من خلال تصميم طريقة جديدة لتثبت بها هذه العلامات هويتها للماسح الضوئي. ويركز عملهم على نوع محدد من التشفير يُعرف بنظام "رابين" (Rabin system)، والذي يعتمد على خدعة رياضية تتضمن تربيع الأعداد. وبينما يتطلب التشفير القياسي غالباً حسابات معقدة تستنزف طاقة العلامة، يستخدم هذا الأسلوب عملية أبسط وأسرع وأقل تطلباً. وقد دمج الفريق هذا التشفير الفعال مع استخدام ذكي للأرقام العشوائية لإنشاء مصافحة ثنائية الاتجاه. في هذه العملية، يتبادل الماسح والعلامة رموزاً سرية تتغير في كل مرة يتواصلان فيها. وهذا يضمن أنه حتى لو قام مجرم بتسجيل محادثة بين علامة وماسح ضوئي، فإن ذلك التسجيل يصبح عديم الفائدة بمجرد بدء المحادثة التالية، لأن الرموز السرية قد تغيرت بالفعل.
يكمن جوهر تحسينهم في كيفية توليد هذه الرموز المتغيرة. ففي المحاولات السابقة لتأمين هذه العلامات، كان على الرقائق الصغيرة نفسها توليد أرقام عشوائية، وهي مهمة تتطلب دوائر إضافية وتزيد من تكلفة وحجم العلامة. لكن البروتوكول الجديد ينقل هذا العبء بالكامل إلى الماسح الضوئي. يقوم الماسح بتوليد رقمين عشوائيين باستخدام مسجل إزاحة التغذية الراجعة الخطية (LFSR) ويرسلهما إلى العلامة بشكل مشفر. ويمكن للعلامة، التي تمتلك مفتاحاً سرياً مشتركاً مع الماسح فقط، فك تشفير هذه الأرقام لإثبات أنها الشيء الحقيقي. ولأن العلامة لم تعد بحاجة إلى توليد أرقامها العشوائية الخاصة، فقد تمكن الباحثون من إزالة مكون مولد الأرقام العشوائية من تصميم العلامة تماماً. وهذا الاختزال في التعقيد يترجم مباشرة إلى علامة أرخص وأصغر وأكثر كفاءة في استهلاك الطاقة.
ولضمان أن يكون هذا النظام الجديد آمناً حقاً، أخضع الباحثون نظامهم لاختبار منطقي صارم يُعرف باسم تحليل "بان" (BAN analysis). تسمح هذه الطريقة للعلماء بإثبات أن البروتوكول يعمل كما هو مخطط له بشكل رسمي، والتحقق مما إذا كان بإمكان العلامة والماسح الوثوق برسائل بعضهما البعض حقاً. وقد أكد التحليل أن الطريقة الجديدة تمنع بنجاً عدة هجمات شائعة؛ فهي توقف هجمات إعادة التشغيل (replay attacks)، حيث يحاول مجرم إعادة استخدام رسالة قديمة لخداع النظام، لأن الأرقام العشوائية تضمن أن كل رسالة هي رسالة جديدة. كما تمنع هجمات فقدان التزامن (desynchronization attacks)، حيث يحاول مجرم دفع العلامة والماسح لفقدان تتبع أسرارهما المشتركة، وذلك من خلال ضمان أن تحديثات المفاتيح لا تحدث إلا عندما يتحقق كلا الجانبين من صحة هوية الآخر بنجاح. علاوة على ذلك، يقاوم النظام هجمات القوة الغاشمة (brute-force attacks)، حيث يحاول المتسلل تجربة كل التوليفات الممكنة من الأرقام لتخمين السر، لأن الطريقة التي تُشفر بها البيانات تجعل مثل هذا التخمين غير ممكن من الناحية الرياضية.
كما قارنت الدراسة أداء هذا البروتوكول الجديد مع الأساليب الموجودة. وأظهرت النتائج أنه بينما ظلت كمية الذاكرة المطلوبة في العلامة كما هي، فإن الجهد الحوسبي المطلوب لمعالجة الفحص الأمني كان أقل بكثير. ومن خلال استبدال دالة التجزئة القياسية بطريقة تشفير "رابين"، قلل الباحثون من عدد العمليات المنطقية التي يتعين على العلامة القيام بها. وتعد هذه الكفاءة أمراً حاسماً للتطبيقات منخفضة التكلفة حيث تهم كل وحدة معالجة. وقد أثبت الباحثون أن نهجهم لا يوفر حماية أقوى ضد التتبع وانتحال الشخصية فحسب، بل يفعل ذلك أيضاً ببصمة أخف على الأجهزة. ومن خلال إثبات إمكانية بناء نظام أمني قوي باستخدام مكونات إلكترونية أقل، يقدم هذا العمل مساراً عملياً لتأمين الشبكة الواسعة من الأجهزة المتصلة التي تدعم حياتنا اليومية، مما يجعل الشبكة غير المرئية لإنترنت الأشياء أسرع وأكثر أماناً.
ملخص تقني: دمج توليد الأرقام العشوائية مع نظام رابين التشفيري لتحقيق مصادقة قوية ثنائية الاتجاه في تقنية RFID
بيان المشكلة إن الاعتماد الواسع لتقنية تحديد الهوية بموجات الراديو (RFID) في بيئات إنترنت الأشياء (IoT) يعوقه وجود ثغرات أمنية وخصوصية كبيرة، بما في ذلك التنصت، والتلاعب بالرسائل، والانتحال، وهجمات إعادة الإرسال، والتتبع. وتتفاقم هذه المخاطر بسبب القيود الشديدة على الموارد في بطاقات RFID، والتي تمتلك قدرة حوسبية، وسعة تخزينية، وطاقة محدودة. وبينما تم اقتراح بروتوكولات خفيفة الوزن تعتمد على دالات الهاش (Hash functions) والعمليات المنطقية (bitwise operations) لمعالجة الكفاءة، تشير التحليلات الأخيرة إلى أنها عرضة للكشف عن الأسرار وهجمات القوة الغاشمة (brute-force attacks). وفي المق مقابل، يوفر التشفير بالمفتاح العام أماناً أقوى ولكنه يُعتبر غالباً مكلفاً من الناحية الحوسبية للبطاقات الخاملة (passive tags). وتحديداً، تعاني البروتوكولات الحالية (مثل البروتوكول في المرجع [12]) من ثغرات حيث يتم إرسال الأرقام العشوائية كنصوص صريحة أو يتم توليدها عبر دوائر معقدة على البطاقة، مما يزيد التكاليف ويعرض النظام لهجمات القوة الغاشمة وفقدان التزامن (desynchronization).
المنهجية يقترح المؤلفون بروتوكول مصادقة محسّن ثنائي الاتجاه يدمج توليد الأرقام العشوائية مع نظام رابين التشفيري (Rabin cryptosystem) لمعالجة هذه القيود. وتتضمن المنهجية الجوهرية التحولات الهيكلية والخوارزمية التالية:
توليد الأرقام العشوائية المركزية: لتقليل تعقيد وتكلفة البطاقة، يلغي البروتوكول الحاجة إلى مولدات الأرقام العشوائية (PRNGs) في البطاقة. وبدلاً من ذلك، يقوم القارئ (المتحد مع قاعدة البيانات الخلفية) بتوليد رقمين عشوائيين، R1 و R2، باستخدام مسجل إزاحة ذو تغذية راجعة خطية (LFSR).
دمج نظام رابين التشفيري: يستبدل البروتوكول دالات الهاش التقليدية بخوارزمية رابين للتشفير. وقد تم اختيار "رابين" لأن إثباته الرياضي بأن عكس دالة الباب الخلفي (trapdoor function) لا يقل صعوبة عن تحليل الأعداد إلى عواملها الأولية، بينما تتطلب عملية التشفير فيه فقط التربيع الموديولي (modular squaring)، وهي عملية خفيفة حسابياً.
العمليات المنطقية (Bitwise Operations) للإرسال: لا يتم إرسال الأرقام العشوائية R1 و R2 بشكل مباشر. بدلاً من ذلك، يتم إجراء عملية XOR مع أجزاء معرف البطاقة (IDL و IDR) قبل الإرسال. هذا يمنع المهاجمين من تخمين الأرقام العشوائية أو المفتاح عبر الطرق الاستقصائية، حيث لا يمكن للمهاجم معرفة القيم الدقيقة لـ R1 و R2 دون المعرفة المسبقة بـ IDL و IDR.
تدفق المصادقة:
من القارئ إلى البطاقة: يرسل القارئ أمر استعلام (Query) جنباً إلى جنب مع A=IDL⊕R1 و B=IDR⊕R2.
من البطاقة إلى القارئ: تستعيد البطاقة R1 و R2، ثم تحسب C=[(KEY&R2&R1)2modM]k (بأخذ أول K من الأرقام) وترسلها مرة أخرى.
تحقق القارئ: يتحقق القارئ من C مقابل قاعدة بياناته. إذا كانت صالحة، يرسل D=[KEY2modM]k&R2 إلى البطاقة.
تحديث المفتاح: يقوم كلا الطرفين بتحديث مفاتيح السر المشتركة بينهما (Kold=Knew; Knew=[KEY2modM]k) لضمان الأمان الرجعي (backward security) ومنع فقدان التزامن.
التحقق الرسمي: يتم تحليل الخصائص الأمنية للبروتوكول رسمياً باستخدام منطق BAN (Burrows-Abadi-Needham) للتحقق من المصادقة المتبادلة والاعتقاد في حداثة الرسائل.
المساهمات الرئيسية
تعزيز الأمان ضد هجمات القوة الغاشمة وإعادة الإرسال: من خلال إجراء عملية XOR للأرقام العشوائية مع المعرفات الفريدة للبطاقة (IDL و IDR) واستخدام خاصية الاتجاه الواحد لخوارزمية رابين، يمنع البروتوكول المهاجمين من استنتاج المفتاح المشترك أو الأرقام العشوائية. وتحديداً، بدون المعرفة المسبقة بـ IDL و IDR، لا يستطيع المهاجم تحديد القيم الدقيقة لـ R1 و R2 عبر طرق القوة الغاشمة، حتى لو اعترض الرسائل.
تحسين التكلفة والكفاءة: يقلل البروتوكول بشكل كبير من المتطلبات العتادية لبطاقات RFID. فمن خلال نقل توليد الأرقام العشوائية إلى القارئ واستبدال دالات الهاش بخوارزمية رابين المحسنة، ينخفض عدد البوابات المنطقية المطلوبة.
مصادقة متبادلة قوية: يضمن التصميم قيام كل من البطاقة والقارئ بالمصادقة على بعضهما البعض. تتحقق البطاقة من القارئ عبر الرسالة D، ويتحقق القارئ من البطاقة عبر الرسالة C، مما يضمن عدم إمكانية انتحال أي طرف دون المفتاح المشترك والمعرفات الفريدة.
مقاومة فقدان التزامن: يتضمن البروتوكول آليات للتعامل مع تحديثات المفاتيح بأمان. يتحقق القارئ من وجود ثلاثية صالحة باستخدام المفتاح الحالي (Knew)؛ وإذا فشل ذلك، فإنه يفحص ما إذا كان هناك زوج موجود باستخدام المفتاح السابق (Kold). إذا تم العثور على المفتاح السابق، يعود النظام إليه للحفاظ على التزامن، مما يضمن مرونة البروتوكول ضد هجمات فقدان التزامن.
النتائج تقدم الورقة تحليلاً مقارناً مع البروتوكولات القائمة (تحديداً المرجع [12] وغيرها [16-18]):
مقارنة الأمان: يقاوم البروتوكول المقترح بنجاح هجمات إعادة الإرسال، وفقدان التزامن، والتزييف، والتتبع، والقوة الغاشمة، بينما وُجد أن المرجع [12] معرض لهجمات القوة الغاشمة وأن المرجع [18] يفتقر إلى الأمان الرجعي.
مقارنة الأداء: بينما تظل مساحة التخزين ثابتة (3K بت) مقارنة بالمرجع [12]، فإن التعقيد الحوسبي ينخفض. يتطلب البروتوكول المقترح عمليتي XOR، و3 عمليات XAND، و3 عمليات رابين، بينما يتطلب البروتوكول المرجعي 4 عمليات XOR، و1 PRNG، و4 عمليات هاش.
تقليل عدد البوابات: يؤدي إلغاء وحدة PRNG من البطاقة واستخدام خوارزمية رابين (التي تتطلب بوابات أقل من دالات الهاش) إلى خفض إجمالي عدد البوابات المنطقية للبطاقة.
الأهمية يزعم المؤلفون أن هذا البروتوكول يقدم حلاً متوازناً لأنظمة RFID منخفضة التكلفة في بيئات إنترنت الأشياء. فمن خلال الاستفادة من عدم التماثل الحوسبي لنظام رابين التشفيري ونقل عبء توليد الأرقام العشوائية إلى القارئ، يحقق البروتوكول مصادقة قوية ثنائية الاتجاه دون المساس بالقيود الموردية للبطاقات الخاملة. ويوفر التحقق الرسمي عبر منطق BAN ضماناً نظرياً لصحة البروتوكول. في النهاية، تثبت الدراسة أنه يمكن تحقيق أمان وخصوصية عاليين (بما في ذلك مقاومة التتبع والقوة الغاشمة) في أنظمة RFID مع تقليل تكلفة التصنيع والعبء الحوسبي للبطاقات في آن واحد.