نظام رابين للتشفير

نظام رابين للتشفير هو عائلة من مخططات التشفير بالمفتاح العام تعتمد على دالة الباب الخلفي ، والتي يرتبط أمانها، مثل نظام RSA ، بصعوبة تحليل الأعداد الصحيحة إلى عواملها الأولية . [ 1 ] [ 2 ]

تتميز دالة رابين ذات الباب الخلفي بصعوبة عكسها رياضياً ، والتي تُضاهي صعوبة تحليل الأعداد الصحيحة إلى عواملها الأولية، بينما لا يوجد دليل رياضي مماثل لدالة RSA ذات الباب الخلفي. لكن يعيبها أن كل مخرج من مخرجات دالة رابين يمكن توليده من أي من المدخلات الأربعة المحتملة؛ فإذا كان كل مخرج نصاً مشفراً، يتطلب فك التشفير تعقيداً إضافياً لتحديد أي من المدخلات الأربعة هو النص الأصلي الحقيقي. غالباً ما تُتيح المحاولات البسيطة للتحايل على هذه المشكلة إما شن هجوم النص المشفر المُختار لاستعادة المفتاح السري، أو تُبطل، من خلال ترميز التكرار في فضاء النص الأصلي، دليل الأمان المتعلق بالتحليل إلى عوامله الأولية. [ 1 ]

تُستخدم أنظمة التشفير بالمفتاح العام القائمة على دالة رابين ذات الباب الخلفي بشكل أساسي في الأمثلة الواردة في الكتب الدراسية. في المقابل، تُعدّ خوارزمية RSA أساس أنظمة التشفير القياسية بالمفتاح العام مثل RSAES-PKCS1-v1_5 و RSAES-OAEP ، والتي تُستخدم على نطاق واسع في التطبيقات العملية.

تاريخ

نُشرت دالة رابين ذات الباب الخلفي لأول مرة كجزء من نظام توقيع رابين في عام 1978 بواسطة مايكل أو. رابين . [ 3 ] [ 4 ] [ 5 ] كان نظام توقيع رابين أول نظام توقيع رقمي يمكن فيه إثبات أن تزوير التوقيع صعب مثل التحليل إلى عوامل.

تم إعادة استخدام وظيفة الباب الخلفي لاحقًا في الكتب المدرسية كمثال على مخطط تشفير المفتاح العام ، [ 6 ] [ 7 ] [ 1 ] والذي أصبح يُعرف باسم نظام التشفير رابين على الرغم من أن رابين لم ينشره أبدًا كمخطط تشفير.

الخوارزمية

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

توليد المفاتيح

يتم توليد مفاتيح نظام التشفير رابين على النحو التالي:

  1. اختر عددين أوليين كبيرين مختلفينص{\displaystyle p}وq{\displaystyle q}بحيثص3تعديل4{\displaystyle p\equiv 3{\bmod {4}}}وq3تعديل4{\displaystyle q\equiv 3{\bmod {4}}}.
  2. الحوسبةن=صq{\displaystyle n=pq}.

ثمن{\displaystyle n}المفتاح العام والزوج(ص،q){\displaystyle (p,q)}هو المفتاح الخاص.

التشفير

رسالةم{\displaystyle M}يمكن تشفيرها عن طريق تحويلها أولاً إلى رقمم<ن{\displaystyle m<n}باستخدام عملية تحويل قابلة للعكس، ثم الحسابج=م2تعديلن{\displaystyle c=m^{2}{\bmod {n}}}النص المشفر هوج{\displaystyle c}.

فك التشفير

الرسائلم{\displaystyle m}يمكن استعادتها من النص المشفرج{\displaystyle c}بأخذ الجذر التربيعي باقي القسمةن{\displaystyle n}على النحو التالي.

  1. احسب الجذر التربيعي لـج{\displaystyle c}moduloص{\displaystyle p}وq{\displaystyle q}باستخدام هذه الصيغ:
    مص=ج14(ص+1)تعديلصمq=ج14(q+1)تعديلq{\displaystyle {\begin{aligned}m_{p}&=c^{{\frac {1}{4}}(p+1)}{\bmod {p}}\\m_{q}&=c^{{\frac {1}{4}}(q+1)}{\bmod {q}}\end{محاذاة}}}
  2. استخدم خوارزمية إقليدس الموسعة لإيجادyص{\displaystyle y_{p}}وyq{\displaystyle y_{q}}بحيثyصص+yqq=1{\displaystyle y_{p}\cdot p+y_{q}\cdot q=1}.
  3. استخدم نظرية الباقي الصينية لإيجاد الجذور التربيعية الأربعة لـج{\displaystyle c}moduloن{\displaystyle n}:
    ر1=(yصصمq+yqqمص)تعديلنر2=ن-ر1ر3=(yصصمq-yqqمص)تعديلنر4=ن-ر3{\displaystyle {\begin{aligned}r_{1}&=\left(y_{p}\cdot p\cdot m_{q}+y_{q}\cdot q\cdot m_{p}\right){\bmod {n}}\\r_{2}&=n-r_{1}\\r_{3}&=\left(y_{p}\cdot p\cdot m_{q}-y_{q}\cdot q\cdot m_{p}\right){\bmod {n}}\\r_{4}&=n-r_{3}\end{aligned}}}

إحدى هذه القيم الأربع هي النص الأصليم{\displaystyle m}، على الرغم من أنه لا يمكن تحديد أي من الخيارات الأربعة هو الصحيح بدون معلومات إضافية.

حساب الجذور التربيعية

يمكننا أن نبين أن الصيغ الواردة في الخطوة 1 أعلاه تنتج بالفعل الجذور التربيعية لـج{\displaystyle c}كما يلي. بالنسبة للصيغة الأولى، نريد أن نثبت أنمص2جتعديلص{\displaystyle m_{p}^{2}\equiv c{\bmod {p}}}. منذص3تعديل4،{\displaystyle p\equiv 3{\bmod {4}},}الأس14(ص+1){\textstyle {\frac {1}{4}}(p+1)}عدد صحيح. البرهان بديهي إذاج0تعديلص{\displaystyle c\equiv 0{\bmod {p}}}لذلك يمكننا أن نفترض أنص{\displaystyle p}لم ينقسمج{\displaystyle c}. لاحظ أنجم2تعديلصq{\displaystyle c\equiv m^{2}{\bmod {pq}}}يشير ذلك إلى أنجم2تعديلص{\displaystyle c\equiv m^{2}{\bmod {p}}}إذن، c هو باقي تربيعي moduloص{\displaystyle p}. ثم

مص2ج12(ص+1)جج12(ص-1)ج1تعديلص{\displaystyle m_{p}^{2}\equiv c^{{\frac {1}{2}}(p+1)}\equiv c\cdot c^{{\frac {1}{2}}(p-1)}\equiv c\cdot 1\mod p}

الخطوة الأخيرة مبررة بمعيار أويلر .

مثال

على سبيل المثال، خذص=7{\displaystyle p=7}وq=11{\displaystyle q=11}، ثمن=77{\displaystyle n=77}. يأخذم=20{\displaystyle m=20}كنصنا الأصلي. وبالتالي، يكون النص المشفر ج=م2تعديلن=400تعديل77=15{\displaystyle c=m^{2}{\bmod {n}}=400{\bmod {77}}=15}.

تتم عملية فك التشفير على النحو التالي:

  1. الحوسبةمص=ج14(ص+1)تعديلص=152تعديل7=1{\displaystyle m_{p}=c^{{\frac {1}{4}}(p+1)}{\bmod {p}}=15^{2}{\bmod {7}}=1}ومq=ج14(q+1)تعديلq=153تعديل11=9{\displaystyle m_{q}=c^{{\frac {1}{4}}(q+1)}{\bmod {q}}=15^{3}{\bmod {11}}=9}.
  2. استخدم خوارزمية إقليدس الموسعة للحسابyص=-3{\displaystyle y_{p}=-3}وyq=2{\displaystyle y_{q}=2}يمكننا التأكيد على ذلكyصص+yqq=(-37)+(211)=1{\displaystyle y_{p}\cdot p+y_{q}\cdot q=(-3\cdot 7)+(2\cdot 11)=1}.
  3. احسب المرشحين الأربعة للنص الأصلي:
    ر1=(-379+2111)تعديل77=64ر2=77-64=13ر3=(-379-2111)تعديل77=20ر4=77-20=57{\displaystyle {\begin{aligned}r_{1}&=(-3\cdot 7\cdot 9+2\cdot 11\cdot 1){\bmod {77}}=64\\r_{2}&=77-64=13\\r_{3}&=(-3\cdot 7\cdot 9-2\cdot 11\cdot 1){\bmod {77}}=\mathbf {20} \\r_{4}&=77-20=57\end{aligned}}}

ونرى ذلكر3{\displaystyle r_{3}}النص الأصلي المطلوب. لاحظ أن جميع المرشحين الأربعة هي جذور تربيعية للعدد 15 بتردد 77. أي، بالنسبة لكل مرشح،رأنا2تعديل77=15{\displaystyle r_{i}^{2}{\bmod {77}}=15}لذلك كلرأنا{\displaystyle r_{i}}يتم التشفير إلى نفس القيمة، 15.

تقييم الخوارزمية

فعالية

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

إذا كان النص الأصلي يُمثل رسالة نصية، فإن التخمين ليس صعبًا؛ أما إذا كان يُمثل قيمة عددية، فإن هذه المسألة تُصبح مشكلةً يجب حلها باستخدام آليةٍ ما لإزالة الغموض. يُمكن اختيار نصوص أصلية ذات بنى خاصة، أو إضافة حشو ، للتخلص من هذه المشكلة. وقد اقترح بلوم وويليامز طريقةً لإزالة غموض الانعكاس: حيث يقتصر العددان الأوليان المستخدمان على الأعداد الأولية المتطابقة مع 3 بتردد 4، ويقتصر نطاق التربيع على مجموعة البواقي التربيعية. هذه القيود تجعل دالة التربيع تبديلًا ذا بابٍ خلفي ، مما يُزيل الغموض. [ 8 ]

كفاءة

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

لفك التشفير، يتم تطبيق نظرية الباقي الصينية ، بالإضافة إلى عمليتي رفع أسّ معياريتين . وتكون الكفاءة هنا مماثلة لكفاءة RSA.

حماية

لقد ثبت أنه يمكن استخدام أي خوارزمية تجد أحد النصوص الأصلية المحتملة لكل نص مشفر مشفر باستخدام خوارزمية رابين لتحليل المعامل.ن{\displaystyle n}وبالتالي، فإن فك تشفير رابين لنص عادي عشوائي لا يقل صعوبة عن مشكلة تحليل الأعداد الصحيحة إلى عواملها الأولية، وهو أمر لم يُثبت بعد بالنسبة لخوارزمية RSA. ويُعتقد عمومًا أنه لا توجد خوارزمية ذات زمن متعدد الحدود لتحليل الأعداد إلى عواملها الأولية، مما يعني أنه لا توجد خوارزمية فعالة لفك تشفير قيمة مشفرة باستخدام رابين عشوائيًا دون المفتاح الخاص.(ص،q){\displaystyle (p,q)}.

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

يُعد نظام رابين للتشفير غير آمن ضد هجوم النص المشفر المُختار (حتى عند اختيار رسائل التحدي عشوائيًا وبشكل متساوٍ من فضاء الرسائل). [ 6 ] : 214. بإضافة تكرارات، مثل تكرار آخر 64 بت، يمكن جعل النظام يُنتج جذرًا واحدًا. هذا يُحبط هجوم النص المشفر المُختار هذا تحديدًا، لأن خوارزمية فك التشفير تُنتج حينها الجذر الذي يعرفه المهاجم مُسبقًا فقط. إذا طُبقت هذه التقنية، يفشل إثبات التكافؤ مع مسألة التحليل إلى عوامل، لذا فإنه من غير المؤكد حتى عام 2004 ما إذا كان هذا المتغير آمنًا. مع ذلك، يعتبر كتاب "دليل التشفير التطبيقي" لمينيزيس وأورشوت وفانستون هذا التكافؤ مُحتملًا، طالما أن إيجاد الجذور يظل عملية من جزأين (1. الجذور).تعديلص{\displaystyle {\bmod {p}}}وتعديلq{\displaystyle {\bmod {q}}}و2. تطبيق نظرية الباقي الصينية).

انظر أيضاً

ملحوظات

  1. 1 2 3 غالبريث، ستيفن د. (2012). "§24.2: نظام رابين للتشفير في الكتب الدراسية". رياضيات التشفير بالمفتاح العام . مطبعة جامعة كامبريدج. ص 491-494 . ISBN  978-1-10701392-6.
  2. ^ بيلاري، ميهير ؛ غولدفاسر ، شافي (يوليو 2008). “§2.3.4 مرشح وظيفة تربيع الباب المسحور من قبل رابين”. ملاحظات محاضرة عن التشفير (PDF) . ص 29 – 32. 
  3. رابين، مايكل أو. (1978). "التوقيعات الرقمية". في: ديميلو، ريتشارد أدوبكين، ديفيد بجونز، أنيتا كليبتون، ريتشارد ج. (محررون). أسس الحوسبة الآمنة . نيويورك: أكاديميك برس. ص 155-168 . ISBN  0-12-210350-5.
  4. رابين، مايكل أو. (يناير 1979). التوقيعات الرقمية ووظائف المفتاح العام معقدة مثل التحليل إلى عوامل (ملف PDF) (تقرير فني). كامبريدج، ماساتشوستس، الولايات المتحدة: مختبر علوم الحاسوب في معهد ماساتشوستس للتكنولوجيا. TR-212.
  5. بيلار، ميهير ؛ روغاواي، فيليب (مايو 1996). ماورر، أولي (محرر). الأمان الدقيق للتوقيعات الرقمية - كيفية التوقيع باستخدام RSA ورابين . التطورات في علم التشفير - EUROCRYPT '96 . سلسلة محاضرات في علوم الحاسوب. المجلد 1070. سرقسطة، إسبانيا: سبرينغر. الصفحات 399-416 . doi : 10.1007/3-540-68339-9_34 . ISBN   978-3-540-61186-8.
  6. 1 2 ستينسون، دوغلاس (2006). "5.8". التشفير: النظرية والتطبيق ( الطبعة الثالثة). تشابمان آند هول/سي آر سي. الصفحات 211-214 . ISBN   978-1-58488-508-5.
  7. مينيز، ألفريد جفان أورشوت، بول سفانستون، سكوت أ. (أكتوبر 1996). "الفقرة 8.3: تشفير المفتاح العام لرابين". دليل التشفير التطبيقي (ملف PDF) . مطبعة CRC. الصفحات 292-294 . ISBN  0-8493-8523-7.
  8. بيلاري، ميهير ؛ غولدواسير، شافي (يوليو 2008). "§2.3.5 تبديل تربيعي يصعب عكسه مثل التحليل إلى عوامل". ملاحظات محاضرات في علم التشفير (ملف PDF) . الصفحات 32-33 . 

مراجع

  • بوخمان، يوهانس. Einführung في التشفير . الطبعة الثانية. برلين: سبرينغر، 2001. ISBN 3-540-41283-2
  • مينيز، ألفريد؛ فان أورشوت، بول سي؛ وفانستون، سكوت أ. دليل التشفير التطبيقي . مطبعة سي آر سي، أكتوبر 1996. رقم ISBN 0-8493-8523-7
  • رابين، مايكل. التوقيعات الرقمية ووظائف المفتاح العام لا تقل صعوبة عن التحليل إلى عوامل (بصيغة PDF). مختبر علوم الحاسوب في معهد ماساتشوستس للتكنولوجيا، يناير 1979.
  • سكوت ليندهيرست، تحليل خوارزمية شانك لحساب الجذور التربيعية في الحقول المنتهية. في آر غوبتا وكيه إس ويليامز، وقائع المؤتمر الخامس للجمعية النظرية الكندية، 1999، المجلد 19، وقائع ومحاضرات الجمعية الرياضية الأمريكية، أغسطس 1999.
  • R Kumanduri و C Romero، نظرية الأعداد مع تطبيقات الحاسوب، Alg 9.2.9، برنتيس هول، 1997. احتمالية للجذر التربيعي لباقي تربيعي modulo عدد أولي.