💻 computer science

A Broadcast Authenticated Encryption with Keyword Search in the Standard Model: Tightly Secure in Multi-User, Multi-Challenge Settings

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

المؤلفون الأصليون: Sayantan Mukherjee

نُشر 2026-09-01

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

CC BY 4.0

المؤلفون الأصليون: Sayantan Mukherjee

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

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

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

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

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

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

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

ملخص تقني: التشفير الموثق بالبث مع البحث عن الكلمات المفتاحية، الآمن بإحكام في بيئات متعددة المستخدمين ومتعددة التحديات

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

يتيح التشفير القابل للبحث (SE) للمستخدمين البحث عبر البيانات المشفرة. وبينما يُمكّن التشفير بالمفتاح العام للبحث عن الكلمات المفتاحية (PEKS) من ذلك، فإنه يكون عرضة لهجمات تخمين الكلمات المفتاحية (KGA)، حيث يقوم الخصم بإنشاء نصوص مشفرة لاختبارها مقابل المفتاح المساعد (trapdoor) لاستنتاج الكلمة المفتاحية. وللتخفيف من حدة ذلك، تم تقديم التشفير الموثق بالمفتاح العام للبحث عن الكلمات المفتاحية (PAEKS)، والذي يتطلب المفتاح السري للمرسل لعملية التشفير. وقد تم تعميم هذا لاحقاً إلى التشفير الموثق بالبث للبحث عن الكلمات المفتاحية (BAEKS) لدعم إرسال كلمة مفتاحية من قِبل مرسل إلى مجموعة من المستلمين المصرح لهم.

على الرغم من وجود أعمال سابقة حول BAEKS وPAEKS، إلا أن العديد من الفجوات الحرجة لا تزال قائمة:

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

2. المنهجية والإنشاء

يقترح المؤلف مخطط BAEKS جديداً، يُرمز له بـ baeks، مبني على مجموعات الاقتران الثنائي (Type-3). تتضمن المنهجية ما يلي:

تعريفات أمنية جديدة: يقدم البحث تعريف full-cpa security، وهو تعريف يسمح للخصم بإجراء استعلامات تحدي متداخلة على النصوص المشفرة، والمفاتيح المساعدة، والمفاتيح السرية (الفساد التكيفي). كما يعرّف مفاهيم عدم التزوير (ct-cma و trap-cma)، والتي يرى المؤلف أنها ضمنية في أمن full-cpa.
استراتيجية الترميز: على عكس الإنشاءات السابقة التي استخدمت ترميزات Boneh-Boyen (التي تنهار في إعدادات التحديات المتعددة بسبب التبعيات الخطية)، يتبنى المؤلف هيكلاً مستوحى من التشفير القائم على الهوية (IBE) التوثيقي المحكم والتشفير القائم على الهوية الهرمي (HIBE) باستخدام هياكل PRF من نوع Naor-Reingold العشوائية.
- يتم تمثيل المستخدمين عبر مصفوفات $U_j$ (المرسل) و $V_j$ (المستلم).
- يتم ترميز الكلمات المفتاحية عبر مصفوفات $K_{\iota, b}$ .
- يتم ترميز الـ (Tuple) $(S, \omega, R)$ كحاصل جمع هذه المكونات: $\sum U_{S,i} + \sum K_{\omega,i} + \sum V_{R,i}$ .
- يتم حقن العشوائية عبر دالة عشوائية $RF(S||\omega||R)$ في ترميزات النص المشفر والمفتاح المساعد.
تقنية الإثبات: يستخدم إثبات الأمان حجة هجينة (hybrid argument) تتضمن سلسلة من الألعاب ( $G_0$ $G_{0}$ إلى $G_6$ $G_{6}$ ). أحد المكونات الحاسمة هو اللب الأساسي (Theorem 2) الذي يثبت عدم التمييز بين النظام تحت استعلامات أوراكل محددة. يعتمد الإثبات على فرضية اللاتيرال ماتريكس ديفي-هيلمان (lat-MDDH).
- يتعامل الإثبات مع الفساد التكيفي من خلال ضمان أنه حتى عندما يتم الكشف عن المفاتيح السرية للمستخدمين غير المتحدى عليهم، فإن اعتلاج (entropy) مفاتيح المستخدمين المتحدى عليهم يظل كافياً لحقن العشوائية دون اكتشاف.
- يعالج المؤلف شرط "عدم التبسيط" (non-triviality) من خلال تقييد الخصم من الاستعلام عن المفاتيح السرية للمستخدمين المشاركين في النصوص المشفرة أو المفاتيح المساعدة المتحدى عليها.

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

تعريف أمني مبتكر: يحدد البحث full-cpa security لـ BAEKS، والذي يغطي إعدادات متعدد المستخدمين، متعدد التحديات، والفساد التكيفي مع الاستعلامات المتداخلة. هذا هو أول تعريف كهذا لـ BAEKS (و PAEKS) يحقق أمناً محكماً (خسارة اختزال الأمان ثابتة، ومستقلة عن عدد الاستعلامات).
إنشاء آمن بإحكام: يقدم المؤلف إنشاء BAEKS جديداً يحقق أمن full-cpa التكيفي تحت فرضية lat-MDDH القياسية في النموذج القياسي. ويؤدي تقليص هذا إلى مستلم واحد إلى PAEKS آمن بإحكام.
عدم التزوير: يوضح البحث أن مفهوم full-cpa security المقترح يتضمن ضمناً عدم التزوير لكل من النصوص المشفرة والمفاتيح المساعدة.
تحليل الاتساق: يقدم المؤلف تحليلاً دقيقاً لإثباتات الاتساق في الأعمال السابقة (تحديداً أعمال Emura)، مع تحديد الفجوات وتقديم إنشاء متسق إحصائياً للمخطط الخاص به.
التنفيذ: تم تنفيذ المخطط باستخدام لغة Python وإطار عمل Charm. أُجريت تجارب لتقييم الأداء عبر أعداد متفاوتة من المستلمين ( $\ell$ )، ومستويات الأمان ( $k$ )، وأحجام مساحة الكلمات المفتاحية/المستخدمين ( $\alpha, u$ ).

4. النتائج

الأمان: ثبت أمان المخطط في النموذج القياسي تحت فرضية lat-MDDH. اختزال الأمان محكم، متجنباً الخسارة الضربيه ( $\Theta(|Q_{Ct}| + |Q_{Tr}|)$ ) الموجودة في مخططات BAEKS و PAEKS السابقة.
الأداء:
- الإعداد وتوليد المفاتيح (Setup and KeyGen): يتم تشغيل هذه العمليات مرة واحدة لكل نظام/مستخدم. تتعامل تعقيدات Setup خطياً مع حجم مساحة الكلمات المفتاحية $\alpha$ .
- التشفير (SrchEnc) وتوليد المفتاح المساعد (TrapGen): هي عمليات فعالة. تكلفة التشفير وتوليد المفتاح المساعد مستقلة إلى حد كبير عن عدد المستخدمين $u$ ، وتتوسع خطياً مع طول الكلمة المفتاحية $\alpha$ وعدد المستلمين $\ell$ .
- الاختبار (Test): يقوم خادم السحابة بإجراء $2\ell$ من عمليات الاقتران الثنائي للتحقق من المطابقة. بالنسبة لـ PAEKS (حيث $\ell=1$ )، يتطلب الأمر عمليتين فقط من الاقتران.
- البيانات التجريبية: أفاد المؤلف أن المخطط، بالنسبة لـ $\ell=1$ (PAEKS)، يضاهي الأعمال الحالية في الكفاءة مع تقديم أمان أكثر إحكاماً. بالنسبة للقيم الأكبر من $\ell$ ، تظل التكالبية الإضافية (overhead) قابلة للإدارة، رغم ملاحظة أن المخطط أقل كفاءة قلياً في حجم النص المشفر/المفتاح مقارنة بمخطط الاتساق الإحصائي لـ Mukherjee [42]، ولكنه يتفوق في ضمانات الأمان.

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

يدعي البحث إحداث ثورة في نماذج أمان BAEKS الحالية من خلال معالجة سيناريوهات التهديد الأكثر واقعية: بيئات متعددة المستخدمين مع فساد تكيفي واستعلامات متداخلة. تكمن الأهمية الأساسية في تحقيق الأمان المحكم في هذه الإعدادات، وهو ما كان يمثل مشكلة مفتوحة لـ BAEKS و PAEKS.

يؤكد المؤلف أن عمله يوفر أول صياغة لـ BAEKS تضمن في آن واحد:

إخفاء الكلمات المفتاحية.
سرية هوية المرسل والمستلم.
مقاومة الفساد التكيفي.
اختزالات أمنية محكمة.

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