Stringology Based Cryptology

إليك ملخص تقني مفصل لورقة "Stringology Based Cryptology" (علم التشفير القائم على علم السلاسل النصية) للباحث فيكتور كيباندي.

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

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

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

2. المنهجية: علم التشفير القائم على علم السلاسل النصية (SBC)

تقترح الورقة إطار عمل "علم التشفير القائم على علم السلاسل النصية" (Stringology-Based Cryptology - SBC)، وهو إطار يعامل مخرجات التشفير كسلاسل رمزية ويطبق خوارزميات معالجة السلاسل الكلاسيكية لتحليل خصائصها الهيكلية.

• المفهوم الجوهري: بدلاً من النظر إلى المخرجات فقط كسلسلة من البتات للتحليل الإحصائي، يقوم نظام SBC بنمذجة المخرجات كسلسلة $S$ وتطبيق خوارزميات مطابقة الأنماط (مثل Knuth–Morris–KMP، وBoyer–Moore) لاكتشاف الأنماط الفرعية المتكررة والشذوذ الهيكلي.
• نموذج التهديد:
  • يحاول الخصم التمييز بين متسلسلة يتم توليدها بواسطة مولد تشفيري $G(K, N)$ ومتسلسلة عشوائية حقيقية مسحوبة من توزيع موحد.
  • يستخدم الخصم خط معالجة SBC لاستخراج السمات الهيكلية ($\phi(S)$) وإحصاءات الأنماط ($f(P, S)$) لاتخاذ قرار التصنيف.
• خط معالجة إطار عمل SBC:
  1. المدخلات: متتاليات ثنائية (سلاسل مفتاحية/نص مشفر) $S \in \{0, 1\}^n$.
  2. استخراج السمات: تقوم دالة رسم خرائط $\Phi$ بتحويل المتسلسلة إلى متجه من الإحصاءات الهيكلية.
  3. تحليل الأنماط:
     • تكرار الأنماط الفرعية: يحسب تكرار الأنماط $P$ بطول $m$ باستخدام نافذة منزلقة.
     • مقاييس التكرار: يقيس عدد مرات تكرار أنماط محددة.
     • التطبيع (Normalization): تحويل العد الخام إلى توزيعات ترددية للمقارنة.
  4. المقاييس المحسوبة:
     • درجة الانحراف ($D$): هي مجموع الفروق المطلقة بين ترددات الأنماط المولدة تشفيرياً والأنماط العشوائية: $D = \sum |f_c(P) - f_r(P)|$.
     • اعتلاج النمط (Pattern Entropy - $H$): يقيس مدى عدم اليقين في توزيع الأنماط: $H = -\sum p(P) \log_2 p(P)$.

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

• إطار عمل مبتكر: يقدم مفهوم SBC، الذي يربط بين مجالات معالجة السلاسل (علم السلاسل النصية) وتحليل التشفير.
• تحليل تكميلي: يوضح أن التحليل القائم على السلاسل يوفر رؤى حول الخصائص الهيكلية الموضعية التي تكمل الاختبارات الإحصائية العالمية.
• التحقق التجريبي: يوفر إعداداً تجريبياً مضبوطاً يقارن المتتاليات المولدة تشفيرياً مقابل المتتاليات العشوائية الموحدة باستخدام أطوال أنماط محددة ($m = 8, 16, 32$ بت).
• تعريف المقاييس: يحدد مقاييس محددة (درجة الانحراف واعتلاج النمط) لقياس الاختلافات الهيكلية بين المتتاليات التشفيرية والعشوائية.

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

أجرى المؤلف تجارب باستخدام 20,000 متسلسلة (10,000 مولدة تشفيرياً، 10,000 عشوائية) بطول $2^{12}$ بت.

• الاختلافات في تكرار الأنماط:
  • أظهرت المتتاليات المولدة تشفيرياً ترددات معيارية أعلى لأنماط معينة مقارنة بالمتتاليات العشوائية.
  • مثال: بالنسبة للأنماط بطول 8 بت، كان تردد المخرجات التشفيرية 0.61 مقابل 0.50 للعشوائية؛ وبالنسبة لـ 32 بت، كان 0.17 مقابل 0.06.
• درجات الانحراف:
  • لوحظت درجات انحراف غير صفرية عبر جميع الأطوال المختبرة (0.11 لـ 8 بت، 0.14 لـ 16 بت، 0.11 لـ 32 بت)، مما يؤكد وجود اختلافات هيكلية قابلة للقياس.
• تحليل الاعتلاج (Entropy):
  • أظهرت المتتاليات العشوائية اعتلاجاً أعلى، مما يشير إلى توزيع أكثر انتظاماً للأنماط.
  • أظهرت المتتالات المولدة تشفيرياً اعتلاجاً أقل قليلاً، مما يشير إلى وجود انحيازات هيكلية طفيفة ناتجة عن العمليات الحتمية الداخلية (مثل عمليات ARX في تشفير التدفق).

5. الأهمية والخاتمة

• أداة تحليلية، وليست كسرًا: توضح الورقة صراحة أن الإشارات الهيكلية المكتشفة لا تعني وجود نقاط ضعف تشفيرية عملية أو ثغرات يمكن استغلالها؛ إذ تظل المشفّرات الحديثة غير قابلة للتمييز حسابياً عن العشوائية.
• تقييم معزز: يعمل SBC كـ أداة تكميلية قيمة للتقييم التشفيري. فهو يسمح للباحثين بدراسة "المتانة الهيكلية" للنماذج الأولية من خلال تحديد الانتظامات الدقيقة التي قد تغفل عنها الإحصاءات العالمية.
• الاتجاهات المستقبلية: يفتح إطار العمل آفاقاً لـ:
  • تطبيق هياكل سلاسل متقدمة (أشجار اللاحقة Suffix Trees، ومصفوفات اللاحقة Suffix Arrays) لاكتشاف الأنماط المعقدة.
  • دمج نماذج تعلم الآلة مع سمات علم السلاسل النصية لاكتشاف الارتباطات الهيكلية بشكل مؤتمت.
  • التوسع في تحليل فئات أوسع من النماذج التشفيرية بما يتجاوز تشفير التدفق.

باخت-صار، تجادل الورقة بأن تفسير المخرات التشفيرية من منظور علم السلاسل النصية (Stringology) يقدم منظوراً جديداً وأكثر دقة لتحليل المتتاليات، مما يعزز مجموعة الأدوات المتاحة للتحليل الهيكلي والتقييم الصارم للنماذج التشفيرية.