💻 computer science

Lightweight Tamper-Evident Log Integrity Verification for IoT Edge Environments: A Merkle Tree Pipeline with Adaptive Chunking

تقدم هذه الورقة مساراً خفيف الوزن للتحقق من السلامة في بيئات حافة إنترنت الأشياء (IoT edge) خالياً من تقنية البلوكشين، يستخدم التجزئة التكيفية المدركة للموارد وأشجار ميركل (Merkle trees) لتحقيق معالجة عالية الإنتاجية للسجلات، وتحقق منخفض زمن الاستجابة، وكشفاً تاماً للتلاعب مع حد أدنى من استهلاك الذاكرة.

المؤلفون الأصليون: Muhammet Anil Yagiz, Fahrettin Horasan, Ahmet Hasim Yurttakal

نُشر 2026-05-04

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

CC BY 4.0

المؤلفون الأصليون: Muhammet Anil Yagiz, Fahrettin Horasan, Ahmet Hasim Yurttakal

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

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

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

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

إليك كيف يعمل النظام، مشروحاً عبر تشبيهات بسيطة:

1. المشكلة مع مذكرات "البلوكشين" (Blockchain)

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

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

2. الحل: "شجرة ميركل" (الظرف الرقمي المختوم)

بدلاً من اجتماع الحي، تستخدم هذه الورقة شجرة ميركل (Merkle Tree). تخيل هرماً ضخماً مكوناً من أظرف مختومة.

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

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

3. "التقطيع التكيفي" (صندوق التعبئة الذكي)

أدرك الباحثون أن أجهزة إنترنت الأشياء (IoT) لديها ذاكرة (RAM) محدودة جداً. إذا حاولت بناء الهرم بالكامل دفعة واحدة، فقد يكون الصندوق ثقيلاً جداً على الجهاز ليحمله.

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

4. "المرساة الموثوقة" (صندوق الأمان)

للتأكد من أن قمة الهرم (البصمة الرئيسية) ليست مزيفة، يقوم النظام بتخزين تلك البصمة الوحيدة في مرساة موثوقة (Trusted Anchor).

فكر في هذا كأنه صندوق أمانات أو وحدة أمن عتادية (HSM). إنه مكان يصعب جداً اختراقه.
لا يحتاج النظام للتحقق من شبكة كاملة من الناس. يحتاج فقط للتحقق من: "هل البصمة التي حسبتها الآن تطابق تلك المقفلة في صندوق الأمان؟"
إذا تطابقتا، فالسجلات سليمة. إذا لم يتطابقا، فهذا يعني أن شخصاً ما تلاعب بالمذكرات.

5. "التدقيق" (إصلاح الأخطاء)

كان المؤلفون صريحين للغاية. فقد اعترفوا بأنهم عندما بنوا هذا النظام لأول مرة، ارتكبوا خطأين كبيرين في حساباتهم الرياضية:

العد المزدوج: لقد قاموا بالخطأ بعدّ بعض السجلات "المتلاعب بها" مرتين، مما جعل نظامهم يبدو مثالياً بنسبة 100% (بل وأكثر من 100%، وهو أمر مستحيل).
العمل المتكرر: كانوا يعيدون بناء الهرم بالكامل من الصفر في كل مرة يضيفون فيها سجلاً واحداً، وهو أمر بطيء للغاية.

لقد قاموا بإصلاح هذه الأخطاء. وبعد إصلاحها، اختبروا النظام مرة أخرى.

النتائج (الدليل)

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

السرعة: يمكنه معالجة أكثر من 130,000 سجل في الثانية. هذا يشبه قراءة مكتبة كاملة من السجلات في طرفة عين.
الذاكرة: يستخدم أقل من 5 ميجابايت من الذاكرة. هذا حجم ضئيل جداً—أصغر من صورة واحدة عالية الجودة.
الدقة: عندما حاولوا التلاعب بالسجلات (بتغيير 1% إلى 50% من المدخلات)، اكتشف النظام 100% من التغييرات. لم يفت النظام أي سجل متلاعب به أبداً، ولم يتهم سجلاً سليماً بالخطأ.
التحقق: عملية التحقق مما إذا كان سجل واحد حقيقياً تستغرق حوالي 22 مللي ثانية (أسرع من رمشة عين الإنسان).

الملخص

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

إليك ملخص تقني مفصل للورقة البحثية بعنوان "التحقق من سلامة السجلات خفيف الوزن لبيئات حافة إنترنت الأشياء (IoT Edge): خط أنابيب شجرة ميركل مع التجزئة التكيفية."

1. بيان المشكلة

تعد سلامة سجلات التدقيق (Audit Logs) التي تولدها أجهزة إنترنت الأشياء (IoT) أمراً بالغ الأهمية للتحقيقات الجنائية الرقمية بعد الحوادث، والامتثال التنظيمي، والمساءلة التشغيلية. ومع ذلك، تواجه الحلول الحالية عوائق كبيرة عند نشرها في حافة إنترنت الأشياء (IoT edge):

النهج القائم على البلوكشين (Blockchain): رغم توفيرها لخاصية عدم الإنكار القوية، إلا أنها تفرض عبئاً عالياً من عمليات الإجماع (Consensus)، والاعتماد على الشبكة، وتعقيد النشر الذي يتجاوز القيود المواردية (المعالجات ذات التردد أقل من 1 جيجاهرتز، ذاكرة الوصول العشوائي المحدودة، الاتصال المتقطع) لأجهزة الحافة.
مخططات تطور المفاتيح والتوقيع الرقمي: غالباً ما تتطلب تحققًا تسلسليًا (تعقيد $O(n)$ ) أو توقيعًا تشفيريًا لكل مدخل، وهو أمر مكلف حوسبياً ويفتقر إلى قدرات الوصول العشوائي.
الثقة المتجذرة في الأجهزة (Hardware-rooted trust): الحلول التي تعتمد على وحدات النظام الأساسي الموثوقة (TPMs) ليست متوفرة عالمياً في أجهزة إنترنت الأشياء التجارية.

هناك فجوة لحل خفيف الوزن، وواعٍ بالموارد، وخالٍ من السجلات الموزعة يوفر دليلاً على التلاعب بـتأخير منخفض وبأقل بصمة ذاكرة.

2. المنهجية

يقترح المؤلفون بنية خط أنابيب مكونة من ثلاث مراحل مصممة خصيصاً للبيئات محدودة الموارد:

أ. التجزئة التكيفية (المرحلة 1)

للموازنة بين استخدام الذاكرة والإنتاجية، لا يقوم النظام باستيعاب السجلات بشكل أحادي أو واحداً تلو الآخر. بدلاً من ذلك، يستخدم آلية تجزئة واعية بالموارد:

الحجم الديناميكي: يتم ضبط حجم الجزء ( $C$ ) ديناميكياً بناءً على الذاكرة المتاحة للنظام ( $M_{avail}$ ) وضغط الذاكرة ( $P$ ).
السياسة: إذا كان ضغط الذاكرة مرتفعاً، يقل حجم الجزء لمنع فشل تخصيص الذاكرة؛ وإذا كان الضغط منخفضاً، يزداد الحجم لزيادة الإنتاجية.
الهدف: يضمن ذلك التدهور التدريجي تحت قيود الذاكرة بدلاً من الفشل المفاجئ للنظام، وهو أمر حيوي للأجهزة التي لا تملك مساحة تبديل (Swap space).

ب. بناء شجرة ميركل (المرحلة 2)

الهيكل: يتم تشفير مدخلات السجل (Hashing) باستخدام (SHA-256 أو BLAKE2b) لتشكيل عقد الأوراق. يتم بناء شجرة هاش ثنائية حيث تكون العقد الداخلية هي هاشات لأبنائها ( $H(h_{left} || h_{right})$ ).
التحسين: يعيد النظام بناء الشجرة مرة واحدة لكل دفعة (Batch) بعد إلحاق جميع الأوراق الجديدة، مما يتجنب إعادة بناء الشجرة الكاملة بشكل غير ضروري لكل مدخل.
الالتزام (Commitment): يتم تخزين هاش الجذر ( $R$ ) فقط في مرساة موثوقة (مثل وحدة أمن الأجهزة، أو TPM، أو مخزن بعيد مخصص للإلحاق فقط).

ج. التحقق (المرحلة 3)

إثباتات الاشتمال (Inclusion Proofs): للتحقق من مدخل سجل معين $L_i$ ، يولد النظام إثبات اشتمال يتكون من هاشات الأشقاء (Sibling hashes) على طول المسار من الورقة إلى الجذر.
التعقيد: حجم الإثبات وتكلفة التحقق هي $O(\log n)$ ، مما يسمح بالتحقق من الوصول العشوائي دون الحاجة لمعالجة المدخلات السابقة.
العملية: يعيد المُتحقق حساب الجذر باستخدام المدخل ومسار الإثبات، ومقارنته بالمرساة الموثوقة $R$ .

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

تقدم الورقة أربع مساهمات متميزة:

التنفيذ المدقق والصحة:
- أجرى المؤلفون تدقيقاً صارماً للكود حدد وأصلح عيبين تقييميين حرجين في نموذجهم الأولي:
  - خطأ العد المزدوج: خطأ منطقي في مقاييس التلاعب أدى إلى قيم دقة مستحيلة (>1.0).
  - خطأ إعادة البناء الزائد: عدم كفاءة كانت تعيد بناء الشجرة بالكامل بعد كل عملية إدخال سجل واحدة داخل الدفعة ($O(bn) $)، والتي تم تصحيحها لتتم إعادة البناء مرة واحدة لكل دفعة ($ O(n)$).
خط أنابيب ميركل التكيفي:
- بنية مبتكرة تجمع بين الاستيعاب التكيفي وأشجار ميركل، محققة إنتاجية تتجاوز 130,000 سجل/ثانية وبصمة ذاكرة ذروة أقل من 5 ميجابايت على محطة عمل قياسية، مع أحجام إثبات $O(\log n)$ .
التحليل الأمني الرسمي:
- قدمت الورقة مخططات إثبات تحت افتراضات دالة الهاش القياسية (مقاومة التصادم ومقاومة الهاش الثاني).
- حللت المقاومة ضد التعديل، الحذف (التقليم)، الحقن، وهجمات إعادة التشغيل (Replay attacks).
- أثبتت أن التجزئة التكيفية لا تضعف الخصائص الأمنية التشفيرية.
التموضع المقارن المنهجي:
- مقارنة متعددة الأبعاد مع أنظمة تطور المفاتيح، الأنظمة القائمة على التوقيع، الهياكل الموثقة، وأنظمة البلوكشين، مع تسليط الضوء على المقايضات في نماذج الثقة، تعقيد التحقق، وملاءمة الحافة.

4. النتائج التجريبية

أُجريت التجارب على محطة عمل واحدة (Intel Core i7, 32 GB RAM) باستخدام سجلات إنترنت أشياء اصطناعية.

الإنتاجية:
- عند 100,000 سجل، حافظ النظام على 134,242 سجل/ثانية (تكييفي) و 138,850 سجل/ثانية (تجزئة ثابتة).
- استقرت كلتا الطريقتين فوق 130,000 سجل/ثانية لمجموعات البيانات الكبيرة.
التحقق وتوليد الإثبات:
- التحقق من مدخل واحد: ~22 مللي ثانية.
- توليد الإثبات: ~22 مللي ثانية.
- حجم الإثبات: المتوسط 1,006 بايت (14 هاش شقيق لـ 10,000 مدخل)، مما يؤكد مقياس $O(\log n)$ .
بصمة الذاكرة:
- ظل استخدام ذروة الذاكرة أقل من 5 ميجابايت (تحديداً ~4.23 ميجابايت) حتى عند 100,000 مدخل، مما يجعله قابلاً للتنفيذ على أجهزة الحافة المقيدة.
كشف التلاعب:
- حقق الدقة (Precision)، والاستدعاء (Recall)، ودرجة F1 بقيمة 1.0 عبر نسب فساد تتراوح من 1% إلى 50%.
- كان الكشف حتمياً؛ أي تعديل في هاش الورقة ينتشر إلى الجذر باحتمالية ساحقة.
مقارنة خوارزميات الهاش:
- قدمت BLAKE2b إنتاجية استيعاب أعلى بنسبة 7.2% مقارنة بـ SHA-256 مع زمن تحقق مماثل، مما يشير إلى كونها الخيار المفضل للسيناريوهات المقيدة بالإنتاجية.

5. الأهمية

يعالج هذا العمل فجوة حرجة في أمن إنترنت الأشياء من خلال توفير بديل عملي وخفيف الوزن للبلوكشين لسلامة السجلات.

جاهز للحافة (Edge-Ready): يلغي الحاجة إلى الإجماع الموزع والاعتماد الثقيل على الشبكة، مما يجعله قابلاً للنشر على بوابات أجهزة الحافة المنفردة ذات الموارد المحدودة.
الفائدة الجنائية: تسمح قدرة الوصول العشوائي $O(\log n)$ للمحققين بالتحقق من أحداث معينة دون الحاجة لإعادة معالجة تاريخ السجل بالكامل، وهي ميزة كبيرة مقارنة بأنظمة تطور المفاتيح التسلسلية.
الدقة العلمية: وضعت الورقة معياراً عالياً للبحث الأمني من خلال توثيق وتصحيح أخطاء التنفيذ صراحةً، والتي كانت ستؤدي لولا ذلك إلى إبطال ادعاءات الأداء والدقة.
قابلية التكرار: يوفر المؤلفون الكود المصدري الكامل، ومولدات السجلات الاصطناعية، وسكريبتات الاختبار المرجعي، مما يؤسس لخط أساس قابل للتكرار للأبحاث المستقبلية.

في الختام، يقدم خط الأنابيب المقترح حلاً قوياً، عالي الإنتاجية، ومنخفض التأخير لضمان سلامة سجلات تدقيق إنترنت الأشياء، موازناً بين الأمن التشفيري والقيود الصارمة للموارد في بيئات حوسبة الحافة.