💻 computer science

Secure Scattered Memory: Rethinking Secure Enclave Memory with Secret Sharing

تقدم هذه الورقة البحثية "الذاكرة المشتتة الآمنة" (SSM)، وهي مخطط مبتكر يستبدل التشفير القائم على العداد بمشاركة الأسرار القائمة على كثير الحدود لتحقيق السرية الكاملة للبيانات، وسلامتها، وحداثتها بتكاليف أداء وأعباء عتادية أقل بكثير مقارنة بحلول ذاكرة الجيوب الآمنة الحالية.

المؤلفون الأصليون: Haoran Geng, Yuezhi Che, Dazhao Chen, Michael Niemier, Xiaobo Sharon Hu

نُشر 2026-02-13

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

CC BY 4.0

المؤلفون الأصليون: Haoran Geng, Yuezhi Che, Dazhao Chen, Michael Niemier, Xiaobo Sharon Hu

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

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

هذه هي المشكلة التي يواجهها علماء الكمبيوتر فيما يتعلق بـ الذاكرة الآمنة (Secure Memory). إنهم بحاجة لحماية البيانات المخزنة على خوادم بعيدة بحيث حتى لو سيطر مخترق على الخادم، فلا يمكنه قراءة البيانات أو سرقتها أو خداع النظام بها.

الطريقة القديمة: مشكلة "المذكرات المقفلة"

لسنوات، كانت الطريقة القياسية لحماية هذه البيانات هي وضع المذكرات في صندوق مقفل (التشفير) وإضافة ختم شمعي (التحقق من السلامة).

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

الفكرة الجديدة: "الذاكرة المشتتة الآمنة" (SSM)

سأل مؤلفو هذه الورقة البحثية، هاوران جينج وفريقه، سؤالاً بسيطاً: "لماذا نحتاج إلى قفل منفصل وختم منفصل؟ لماذا لا نجعل البيانات نفسها هي القفل والختم معاً؟"

لقد اخترعوا نظاماً جديداً يسمى الذاكرة المشتتة الآمنة (Secure Scattered Memory - SSM). وإليكم كيف يعمل، باستخدام تشبيه بسيط:

تشبيه "لغز الصور المقطوعة" (Jigsaw Puzzle)

تخيل أن بياناتك السرية هي صورة كاملة وجميلة.

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

الآن، تقوم بنثر هذه الـ 200 قطعة في كل مكان على الأرض (الذاكرة).

السرية (Confidentiality): إذا سرق لص 50 قطعة، فلن يرى سوى ضجيج عشوائي. لن يستطيع رؤية الصورة. سيحتاج إلى عدد محدد من القطع (مثلاً 10 قطع) ليبدأ حتى في تخمين شكل الصورة.
السلامة (Integrity): إذا حاول لص استبدال قطعة حقيقية بأخرى مزيفة، فلن تتطابق قطع اللغز مع بعضها البعض. عندما تحاول تجميع القطع مرة أخرى، ستظهر الصورة مشوهة، وسيعرف النظام فوراً: "مهلاً، لقد تم العبث بهذا!"
الحداثة (Freshness - منع إعادة التشغيل): في كل مرة تكتب فيها بيانات جديدة، لا تقوم فقط بتحديث القطع؛ بل تنقلها إلى مواقع جديدة على الأرض وتخلط معها ضجيجاً جديداً.
- إذا حاول مخترق استخدام القطع القديمة التي سرقها بالأمس، فإنه ينظر في الأماكن الخاطئة. سيقول له النظام: "أنا أبحث في المواقع الجديدة؛ تلك القطع القديمة لم تعد مفيدة الآن".

لماذا يعد هذا أمراً هاماً؟

تظهر الورقة البحثية أن طريقة "اللغز" هذه في الواقع أسرع من طريقة "تسلق الشجرة" القديمة، مع كونها بنفس القدر من الأمان.

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

الخلاصة

فكر في الذاكرة المشتتة الآمنة (SSM) كخدعة سحرية حيث تكون البيانات مخفية جيداً وسط كومة من الأشياء العشوائية بحيث لا يستطيع اللص العثور عليها، وإذا حاول العبث بها، ينهار الهيكل بأكلِه.

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "الذاكرة المشتتة الآمنة: إعادة التفكير في ذاكرة الجيوب الآمنة باستخدام المشاركة السرية" (Secure Scattered Memory: Rethinking Secure Enclave Memory with Secret Sharing).

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

تتطلب عملية نقل أعباء العمل إلى السحابة أنظمة ذاكرة آمنة تضمن السرية، والنزاهة، والحداثة (الحماية ضد هجمات إعادة التشغيل/Replay Attacks). تواجه الحلول الحالية مقايضة حرجة بين الأمان والأداء:

أمن ضعيف، أداء عالٍ: توفر مخططات مثل AES-XTS و AES-GCM استهلاكاً منخفضاً للموارد ولكنها تفتقر إلى حماية قوية للنزاهة أو مقاومة هجمات إعادة التشغيل (على سبيل المثال، AES-XTS لا يحتوي على فحص للنزاهة؛ وAES-GCM يفتقر إلى العدادات الرتيبة/Monotonic Counters).
أمن قوي، استهلاك عالٍ للموارد: توفر مخططات مثل SGXv1-like (باستخدام AES-CTR مع أرقام الإصدارات، وMACs، وأشجار ميركل/Merkle Trees) حماية شاملة. ومع ذلك، فهي تعاني من اختناقات شديدة في الأداء بسبب:
1. تحديثات أرقام الإصدار (VN): تؤدي عمليات القراءة/الكتابة المتكررة لكتل أرقام الإصدار إلى زيادة عرض نطاق الذاكرة (Memory Bandwidth).
2. تتبع شجرة ميركل (MT): يتطلب التحقق من النزاهة تتبع عقد الشجرة، مما يسبب حركة مرور كبيرة في الذاكرة (ما يصل إلى أكثر من 20 وصولاً إضافياً لكل عملية تحقق).
3. عدم كفاءة التخزين المؤقت (Cache): غالباً ما توجد أرقام الإصدار في ذاكرة المستوى الأخير (LLC) أو خارج الرقاقة، مما يؤدي إلى معدلات إخفاق (Miss rates) عالية، خاصة لأنماط الوصول غير المنتظمة (مثل خوارزميات الرسم البياني/Graph Algorithms).

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

2. المنهجية: الذاكرة المشتتة الآمنة (SSM)

يقترح المؤلفون الذاكرة المشتتة الآمنة (SSM)، وهي بنية مبتكرة تستبدل إدارة البيانات الوصفية التقليدية القائمة على التشفير بـ المشاركة السرية (Secret Sharing).

المفهوم الأساسي

بدلاً من تشفير البيانات وتخزين بيانات وصفية منفصلة (أرقام الإصدار، MACs، عقد شجرة ميركل)، تقوم SSM بتفكيك كتلة البيانات إلى عدة حصص مستقلة تشفيرياً باستخدام مشاركة سرام (Shamir's Secret Sharing - SSS).

تجزئة البيانات: يتم تقسيم كتلة بيانات بحجم 64 بايت إلى أجزاء واستخدامها كمعاملات لكثيرة حدود $f(x)$ . تُضاف معاملات عشوائية (Seeds) لضمان النزاهة.
توليد الحصص: يتم تقييم كثيرة الحدود عند نقاط عشوائية لتوليد $N$ من الحصص.
التخزين: يتم توزيع هذه الحصص عبر الذاكرة. لا تكشف حصة واحدة أي معلومات عن البيانات الأصلية.
إعادة البناء: لقراءة البيانات، يسترجع النظام $K$ من الحصص (حيث $K > t$ ، و $t$ هو العتبة). يستخدم النظام استكمال لاغرانج (Lagrange Interpolation) عبر حقل غالوا لإعادة بناء كثيرة الحدود واستعادة البيانات الأصلية.

المكونات المعمارية الرئيسية

إعادة توليد الحصص الديناميكي (الحداثة/Freshness): لمنع هجمات إعادة التشغيل، تقوم SSM بإعادة توليد الحصص وإعادة تعيينها إلى مواقع فيزيائية جديدة عند كل عملية كتابة. هذا يلغي الحاجة إلى أرقام إصدار صريحة أو أشجار ميركل. يفشل المهاجم الذي يحاول إعادة تشغيل الحصص القديمة لأن النظام يبحث عن الحصص في المواقع الجديدة المحددة في جدول الصفحات المحدث.
تخطيط العناوين والمحلية (Locality): تستخدم SSM استراتيجية تخطيط متخصصة حيث ترتبط العناوين الافتراضية المتتالية بنفس مجموعة كتل الذاكرة الفيزيائية ولكنها تختار مؤشرات حصص مختلفة. هذا يستغل المحلية المكانية لتحسين معدلات الإصابة في الذاكرة المخبئية (Cache hit rates).
التنفيذ العتادي (Hardware Implementation):
- SSM TLB: يقوم بتخزين التخطيط من عناوين البيانات إلى مواقع الحصص لتقليل عمليات البحث في جداول الصفحات (Page walks).
  টি
- ذاكرة الحصص المخبئية (Shares Cache): ذاكرة مخبئية مخصصة داخل وحدة التحكم في الذاكرة لتخزين الحصص التي تم جلبها مؤخراً لتجنب الوصول إلى DRAM.
- وحدة معالجة البيانات (Data Processing Unit): تحتوي على وحدات لتوليد كثيرة الحدود، والتقييم، وإعادة البناء، واستكمال لاغرانج.

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

تحول في النموذج المعرفي: الانتقال من التشفير القائم على العداد إلى المشاركة السرية القائمة على كثيرة الحدود، مما يدمج السرية والنزاهة والحداثة في بنية البيانات نفسها.
إزالة عبء البيانات الوصفية: إزالة الحاجة إلى أرقام الإصدار، وMACs، وعقد شجرة ميركل، مما يلغي حركة مرور الذاكرة المرتبطة بها وأعباء التخزين.
الجدوى العتادية: تم تنفيذ وتصنيع التصميم باستخدام 28nm commercial PDK باستخدام Cadence Genus. يشغل التصميم مساحة 0.27 مم² ويستهلك 284.53 ميجاوات.
أمن شامل: يوفر سرية ونزاهة معلوماتية (Information-theoretic). كما يضمن الحداثة من خلال إعادة التعيين الديناميكي، مما يجعل هجمات إعادة التشغيل مستحيلة إحصائياً دون الوصول إلى التخطيط الموجود على الرقاقة.

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

قام المؤلفون بتقييم SSM باستخدام محاكي Gem5 مع نظام X86 رباعي النواة وذاكرة آمنة بسعة 32 جيجابايت، ومقارنتها بـ AES-XTS، وAES-GCM، وتحسينات متطورة أخرى من نوع SGXv1-like (مثل MorphCTR، EMCC، RMCC، COSMOS، إلخ).

العبء الإضافي للأداء (Performance Overhead):
- مقارنة بـ AES-XTS: عبء بنسبة 10% فقط.
- مقارنة بـ AES-GCM: عبء بنسبة 8% فقط.
- مقارنة بـ Morphable Counter (MorphCTR): أداء أفضل بنسبة تصل إلى 40%.
- مقارنة بـ EMCC/RMCC: أداء أفضل بنسبة 12%.
- مقارने بـ COSMOS: أداء أفضل بنسبة 3%.
كفاءة الوصول إلى الذاكرة:
- تقلل SSM من عبء الوصول إلى الذاكرة بشكل كبير مقارنة بمخططات SGXv1-like. بينما تتسبب مخططات SGXv1 في أكثر من 25 ضعف الوصول الطبيعي للذاكرة في اختبارات الرسم البياني (Graph benchmarks) بسبب تتبع شجرة ميركل، تظل SSM تحت 5.5 ضعف.
- معدلات الإصابة في الذاكرة المخبئية (Cache Hit Rates): تحقق ذاكرة الحصص المخبئية في SSM معدلات إصابة أعلى بكثير (تقليل معدلات الإخفاق بنسبة ~30% في المتوسط) لأعباء العمل غير المنتظمة (مثل Graph BFS/DFS) مقارنة بذاكرة VN المخبئية في أنظمة SGXv1-like.
التحليل الأمني:
- باستخدام المعاملات $N=9$ و $K=56$ ، فإن احتمال نجاح المهاجم في تخمين الحصص $t$ الصحيحة ضئيل جداً ( $P \approx 2.8 \times 10^{-11}$ ).
- يوفر النظام أماناً يعادل AES-256 مع الحفاظ على أداء عالٍ.

5. الأهمية

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

القابلية للتوسع: على عكس مخططات SGXv1-like التي تعاني مع سعات الذاكرة الكبيرة بسبب عبء شجرة ميركل، تتوسع SSM بكفاءة لتصل إلى 32 جيجابايت وما فوق.
تعدد الاستخدامات: تعمل بفعالية لكل من أعباء العمل المنتظمة (ML) وغير المنتظمة (Graph) دون الحاجة إلى مسرعات أجهزة متخصصة أو تعديلات برمجية.
الواقعية: تثبت نتائج التصنيع بـ 28nm أن العمليات الرياضية المعقدة (استكمال كثيرة الحدود) يمكن تنفيذها بأقل تكلفة مساحة وطاقة، مما يجعلها مرشحاً قابلاً للتطبيق للجيل القادم من الجيوب الآمنة (Secure Enclaves).

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