التحليل التشفيري التفاضلي من الرتبة العليا

في علم التشفير ، يُعدّ التحليل التفاضلي عالي الرتبة تعميمًا للتحليل التفاضلي ، وهو هجوم يُستخدم ضدّ تشفيرات الكتل . فبينما يعتمد التحليل التفاضلي القياسي على الفرق بين نصّين فقط، يدرس التحليل التفاضلي عالي الرتبة انتشار مجموعة من الفروق بين مجموعة أكبر من النصوص. في عام ١٩٩٤، وضع شوجيا لاي الأساس من خلال إثبات أن الفروق حالة خاصة من الحالة الأكثر عمومية للمشتقات عالية الرتبة. [ ١ ] وفي العام نفسه، تمكّن لارس كنودسن من إثبات كيفية استخدام مفهوم المشتقات عالية الرتبة لشنّ هجمات على تشفيرات الكتل. [ ٢ ] قد تتفوّق هذه الهجمات على التحليل التفاضلي القياسي. وقد استُخدم التحليل التفاضلي عالي الرتبة بشكل ملحوظ لكسر تشفير KN ، وهو تشفير كان قد ثبت سابقًا أنه محصّن ضدّ التحليل التفاضلي القياسي. [ ٣ ]

المشتقات من الرتب العليا

تشفير كتلي يقوم برسم الخرائطن{\displaystyle n}سلاسل بت إلىن{\displaystyle n}يمكن اعتبار السلاسل ذات البتات، بالنسبة لمفتاح ثابت، بمثابة دالةو:F2نF2ن{\displaystyle f:\mathbb {F} _{2}^{n}\to \mathbb {F} _{2}^{n}}في التحليل التفاضلي القياسي للتشفير، يهتم المرء بإيجاد زوج من فرق الإدخالα{\displaystyle \alpha }وفرق في الناتجβ{\displaystyle \beta }بحيث يكون هناك نصان مدخلان مختلفانα{\displaystyle \alpha }من المرجح أن ينتج عن ذلك نصوص إخراج مختلفةβ{\displaystyle \beta }أي أنو(مα)و(م)=β{\displaystyle f(m\oplus \alpha )\oplus f(m)=\beta }هذا صحيح بالنسبة للكثيرينمF2ن{\displaystyle m\in \mathbb {F} _{2}^{n}}لاحظ أن الفرق المستخدم هنا هو XOR وهو الحالة المعتادة، على الرغم من أن تعريفات أخرى للفرق ممكنة.

وهذا يحفز تعريف مشتقة الدالةو:F2نF2ن{\displaystyle f:\mathbb {F} _{2}^{n}\to \mathbb {F} _{2}^{n}}في نقطةα{\displaystyle \alpha }كما [ 1 ]

Δαو(x):=و(xα)و(x){\displaystyle \Delta _{\alpha }f(x):=f(x\oplus \alpha )\oplus f(x)}.

باستخدام هذا التعريف، فإنأنا{\displaystyle i}المشتقة رقم -th عند(α1،α2،...،αأنا){\displaystyle (\alpha _{1},\alpha _{2},\dots ,\alpha _{i})}يمكن تعريفها بشكل متكرر على النحو التالي [ 1 ]

Δα1،α2،...،αأنا(أنا)و(x):=Δαأنا(Δα1،α2،...،αأنا-1أنا-1و(x)){\displaystyle \Delta _{\alpha _{1},\alpha _{2},\dots ,\alpha _{i}}^{(i)}f(x):=\Delta _{\alpha _{i}}\left(\Delta _{\alpha _{1},\alpha _{2},\dots ,\alpha _{i-1}}^{i-1}f(x)\right)}.

وهكذا على سبيل المثالΔα1،α2(2)و(x)=و(x)و(xα1)و(xα2)و(xα1α2){\displaystyle \Delta _{\alpha _{1},\alpha _{2}}^{(2)}f(x)=f(x)\oplus f(x\oplus \alpha _{1})\oplus f(x\oplus \alpha _{2})\oplus f(x\oplus \alpha _{1}\oplus \alpha _{2})}.

تتشابه المشتقات من الرتب العليا، كما هو مُعرّف هنا، في العديد من الخصائص مع المشتقات العادية ، مثل قاعدة الجمع وقاعدة الضرب . ومن المهم أيضًا أن عملية الاشتقاق تُقلل من الدرجة الجبرية للدالة.

الهجمات التفاضلية من الرتبة العليا

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

لذلك، من المهم لأي تشفير أو وظيفة S-box على وجه التحديد أن يكون لها درجة قصوى (أو قريبة من الدرجة القصوى) لمقاومة هذا الهجوم.

تُعتبر هجمات المكعب نوعًا من أنواع الهجمات التفاضلية ذات الرتبة الأعلى. [ 4 ]

مقاومة الهجمات التفاضلية من الرتبة العليا

قيود الهجمات التفاضلية من الرتبة العليا

يعمل مع صناديق الاستبدال الصغيرة أو ذات الدرجة الجبرية المنخفضة، بالإضافة إلى عمليات AND و XOR.

انظر أيضاً

مراجع

  1. 1 2 3 لاي، شوجيا (1994). "المشتقات من الرتب العليا وتحليل التشفير التفاضلي". الاتصالات والتشفير . المجلد  276. سبرينغر الولايات المتحدة. الصفحات 227-233 . doi : 10.1007/978-1-4615-2694-0_23 . ISBN  978-1-4613-6159-6.
  2. كنودسن، لارس (1994). التفاضلات المقتطعة والتفاضلات من الرتب العليا ( PDF / PostScript ) . التشفير البرمجي السريع (FSE 1994). سبرينغر-فيرلاغ . الصفحات 196-211 . تاريخ الاسترجاع: 14 فبراير 2007 . 
  3. جاكوبسن، توماس وكنودسن ، لارس (1997). "هجوم الاستيفاء على تشفيرات الكتل". التشفير البرمجي السريع . سلسلة محاضرات في علوم الحاسوب. المجلد 1267. سبرينغر برلين هايدلبرغ. الصفحات 28-40 . doi : 10.1007/BFb0052332 . ISBN   978-3-540-63247-4.{{cite book}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  4. دانيال ج. بيرنشتاين (14 يناير 2009). "لماذا لم تُحدث هجمات المكعبات أي خلل؟" . تم الاطلاع عليه بتاريخ 18 مايو 2014 .