💻 computer science

Light-Weight Cryptographic Heartbeat Protocol In Robotic Swarms

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

المؤلفون الأصليون: Faris Alhamed, Mohamed Mtiri, Francesco Paolucci, Filippo Cugini, Alex Shafarenko

نُشر 2026-08-03

📖 3 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Faris Alhamed, Mohamed Mtiri, Francesco Paolucci, Filippo Cugini, Alex Shafarenko

البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل مدينة صاخبة حيث تتحرك الملايين من الروبوتات الصغيرة ذاتية القيادة بسرعة، تتحدث مع بعضها البعض لبناء الأشياء، أو نقل البضائع، أو إصلاح المشكلات. في هذا العالم عالي التقنية، يحتاج كل روبوت باستمرار إلى الصراخ: "أنا هنا! أنا أعمل!" لجيرانه. يسمى هذا "نبض القلب" (heartbeat). ولكن تماماً كما يحدث في غرفة مزدحمة، قد يحاول بعض الفاعلين السيئين التسلل، والتظاهر بأنهم روبوت، أو تكرار رسائل قديمة لإحداث الفوضى. ولإيقاف ذلك، تحتاج الروبوتات إلى مصافحة سرية تثبت هويتها وتضمن أن رسالتها لم يتم التلاعب بها. عادةً ما تكون هذه المصافحة مثل قفل ثقيل ومعقد يتطلب الكثير من الطاقة لفتحه وإغلاقه — وهو أمر ثقيل جداً لروبوت صغير ذي بطارية محدودة. هذا هو عالم "علم التشفير" (cryptography) و"روبوتات السرب" (swarm robotics). السؤال الكبير الذي يطرحه العلماء هو: كيف يمكننا منح هذه الروبوتات الصغيرة مصافحة سرية فائقة القوة وغير قابلة للكسر، دون استنزاف بطارياتها أو إبطاء سرعتها؟

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

تثبت الورقة البحثية أن هذا النظام فعال للغاية. ففي الاختبارات باستخدام أجهزة كمبيوتر Raspberry Pi 5 (التي تعمل كأنها الروبوتات)، تمكن النظام من بدء التشغيل في أقل من 900 مللي ثانية، وتطلب مساحة تخزين ضئيلة بلغت 1 ميجابايت فقط في جانب المرسل، بينما لم يحتج المستقبل إلى أي مساحة تخزين تُذكر. ووجد الباحثون أن هذه الطريقة يمكنها التعامل مع ظروف الشبكة غير المستقرة، بما في ذلك الرسائل المفقودة، والمكررة، والرسائل التي تصل بترتيب خاطئ، وكل ذلك مع الحفاظ على سلامة الروبوتات من "هجمات إعادة التشغيل" (replay attacks) (حيث يقوم المخترق بتسجيل رسالة صالحة ثم يعيد تشغيلها لاحقاً). كما أكدوا أن النظام يعمل بشكل جيد حتى عندما لا تكون ساعات الروبوتات متزامنة بدقة، طالما ظل فرق التوقيت أقل من 50 مللي ثانية. ومن خلال استبدال علم التشفير بالمفاتيح العامة الثقيل بهذا النهج الأخف اعتماداً على التجزئة، تشير الورقة إلى أنه يمكننا تأمين أسراب ضخمة من الروبوتات دون إبطاء حركتها، مما يجعل المصانع المستقبلية والأنظمة ذاتية القيادة أكثر أماناً وذكاءً.

ملخص تقني: بروتوكول نبضات القلب التشفيري خفيف الوزن في أسراب الروبوتات

بيان المشكلة

تعتمد البيئات الصناعية الحديثة، لا سيما ضمن نموذج الثورة الصناعية الرابعة (Industry 4.0)، بشكل متزايد على أسراب مستقلة من الروبوتات المتنقلة وأجهزة إنترنت الأشياء في المصانع الذكية. تتطلب هذه الأنظمة مراقبة مستمرة لـ "حيوية" الأجهزة (liveness) من خلال رسائل نبضات قلب (heartbeat) دورية لتسهيل اكتشاف الأعطال، والتنسيق، والمراقبة الأمنية. ومع ذلك، تواجه الحلول الحالية تحديات كبيرة في بيئات الحافة (edge environments) محدودة الموارد:

الأعباء الحسابية: تفرض التشفيرات التقلية ذات المفتاح العام (مثل RSA و ED25519) تكاليف باهظة من حيث الحوسبة والذاكرة والطاقة بسبب العمليات الحسابية على الأعداد الكبيرة والرفع الأسي المعياري، مما قد يؤدي إلى استنزاف بطاريات أجهزة إنترنت الأشياء بسرعة.
الضعف أمام الحوسبة الكمومية: العديد من بدائيات المفتاح العام الكلاسيكية عرضة للهجمات الكمومية المستقبلية، مما يشكل مخاطر أمنية طويلة الأمد للنشر المستمر.
الشذوذ الشبكي: تعاني شبكات الحافة الموزعة من فقدان الرسائل، والتأخير، والتكرار، وإعادة الترتيب، مما قد يعطل التحقق من نبضات القلب ويؤدي إلى نتائج إيجابية كاذبة في اكتشاف الأعطال.
المتطلبات الأمنية: يجب أن يضمن النظام سلامة الرسائل، وتوثيق المرسل، وعدم الإنكار، مع مقاومة هجمات إعادة التشغيل (replay attacks) وهجمات حجب الخدمة (DoS)، دون الحاجة بالضرورة إلى تشفير كامل.

المنهجية

يقترح المؤلفون بروتوكول نبضات قلب تشفيري خفيف الوزن مصمم لأنظمة الحوسبة الطرفية الموزعة، وهو مصمم خصيصاً لأسراب الروبوتات. يدمج الحل بين توليد نبضات القلب المتزامن زمنياً والتحقق من السلامة القائم على سلاسل التجزئة (hash-chains).

آليات التشفير الأساسية

يعتمد البروتوكول على مخطط توقيع "وينترنز" لمرة واحدة (WOTS) القائم على سلاسل التجزئة وبروتوكول "غاي فوكس" (Guy Fawkes Protocol)، متجنباً التشفير بالمفتاح العام تماماً.

توليد سلسلة التجزئة: يقوم كل عقدة ذكية (المرسل) بتوليد مفتاح خاص عشوائي $x_0$ . ثم يقوم بحساب سلسلة تجزئة أمامية آمنة بطول $n$ حيث $x_j = H(x_{j-1})$ . وتتم مشاركة القيمة النهائية $x_n$ مع المستقبل (منسق السرب) كـ مفتاح عام عبر قناة أولية آمنة (مثل الاتصال غير المتصل أو NFC).
بناء الرسالة: لكل فاصل زمني لنبضات القلب $i$ $i$ ، تقوم العقدة ببناء رسالة $M_i$ $M_{i}$ تحتوي على:
- الرؤوس ( $q_i$ ): تتضمن طابعاً زمنياً متزامناً $T_i$ وقيمة سلسلة التجزئة الحالية $x_{n-i}$ .
- الحمولة ( $p_i$ ): بيانات صحة النظام وحيويته.
- الموثق ( $y_i$ ): هو HMAC يتم حسابه باستخدام $HMAC(x_{n-i-1}, q_i \parallel p_i)$ .
عملية التحقق: يقوم المستقبل بالتحقق من الرسائل الواردة عن طريق:
- التحقق من تقدم سلسلة التجزئة: التأكد من أن $H(x_{n-i})$ يطابق القيمة المخزنة سابقاً (أو قيمة مجزأة للأمام في حال فقدان الحزم).
- التحقق من HMAC باستخدام قيمة السلسلة المشتقة.
- ضمان الترتيب الزمني الصارم بناءً على الساعات المتزامنة.

بنية النظام والافتراضات

تزامن الساعة: يفترض البروتوكول أن ساعات المرسل والمستقبل متزامنة (على سبيل المثال عبر NTP عبر WiFi) بدقة تقل عن نصف فاصل نبضات القلب ( $\epsilon \lesssim \tau/2$ ). وهذا يسمح للمستقبل باستنتاج أرقام التسلسل من الطوابع الزمنية دون الحاجة لأرقام تسلسل صريحة في الحمولة.
تحمل الفقدان: تسمت عملية "التجزئة للأمام" (forward hashing) للمستقبل تخطي عناصر السلسلة المفقودة. إذا فُقدت نبضة القلب $i$ ولكن وصلت $i+k$ ، يقوم المستقبل بحساب $H^{(k)}(x_{n-(i+k)})$ للتحقق من سلامة السلسلة، مما يسمح بتحديد الرسائل الوسيطة كرسائل مفقودة دون كسر سلامة السلسة التشفيرية.
التنفيذ العتادي: تستخدم الدراسة أجهزة Raspberry Pi 5 كعقد ذكية ومنسقات، مع الاستفادة من تسريع العتاد لدوال تجزئة محددة.

المساهمات الرئيسية

يحدد البحث أربع مساهمات رئيسية:

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

النتائج التجريبية والتحقق

تم تقييم البروتوكول في بيئة اختبار تتكون من أجهزة Raspberry Pi 5 تعمل كعقد للسرب ومنسق، متصلة عبر بوابة Dell Edge Gateway 5200 عبر WiFi.

تزامن الساعة: باستخدام NTP عبر WiFi، كان أقصى انحراف ملحوظ للساعة حوالي 44 مللي ثانية في الظروف العادية (RSSI > -70 dBm، وحمل < 90%). وهذا يدعم فترات نبضات القلب ( $\tau$ ) التي تزيد عن 100 مللي ثانية.
أداء الخوارزمية: على عتاد Raspberry Pi 5:
- كانت SHA-256 هي الأكثر كفاءة في توليد سلاسل التجزئة (حوالي 1.04 مليون تكرار/ثانية) بفضل تسريع العتاد.
- قدمت BLAKE3 المفتاحية أفضل أداء لتوليد HMAC (حوالي 439,000 تكرار/ثانية).
- كانت ED25519 أبطأ بكثير (حوالي 13,886 تكرار/ثانية)، مما يبرز كفاءة النهج القائم على التجزئة المقترح.
التهيئة والتخزين:
- وقت التهيئة: تم قياس إجمالي وقت التهيئة بـ لا يزيد عن 900 مللي ثانية.
- التخزين: يتطلب المرسل مساحة تخزين ضئيلة تصل إلى 1 ميجابايت فقط (باستخدام استراتيجية "التروس" للمقايضة بين التخزين وإعادة الحساب)، بينما يحتاج المستقبل إلى متطلبات تخزين ضئيلة جداً، حيث يحتاج فقط لتخزين نقاط السلسلة الحالية والسابقة.
المتانة: نجح النظام في اكتشاف واستبعاد الرسائل المكررة، وتحديد الرسائل التي وصلت بترتيب خاطئ، والتعافي من الرسائل المفقودة (مثل الرسائل 4 و 7 في تسلسل الاختبار) باستخدام التجزئة للأمام، مما حافظ على سلامة السلسلة طوال الوقت.

الأهمية والادعاءات

يزعم البحث أن البروتوكول المقترح يعالج بنجاح المقايضة بين الأمن وقيود الموارد في أسراب الروبوتات المستقلة. من خلال إلغاء تشفير المفتاح العام والاستفادة من سلاسل التجزئة مع التجزئة للأمام، يحقق النظام:

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

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