خصم محدود حسابيًا

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

مقارنة بالنماذج الأخرى

أسوأ نموذج

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

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

نموذج الضوضاء العشوائية

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


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

التطبيقات

مقارنة بقناة الضوضاء العشوائية

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

توضيح للطريقة. يعرض الصف الأول الرسالة المشفرة الأولية؛ والثاني بعد التبديل العشوائي وإضافة قيمة عشوائية R؛ والثالث بعد إضافة الخصم N؛ والرابع بعد عكس التبديل؛ والخامس الرسالة المشفرة بعد إزالة خطأ الخصم.
توضيح للطريقة. يعرض الصف الأول الرسالة المشفرة الأولية؛ والثاني بعد التبديل العشوائي وإضافة قيمة عشوائية R؛ والثالث بعد إضافة الخصم N؛ والرابع بعد عكس التبديل؛ والخامس الرسالة المشفرة بعد إزالة خطأ الخصم.

يتركهـ(){\displaystyle E()}كن مشفرًا لنموذج الضوضاء العشوائية ود(){\displaystyle D()}ليكن لدينا مُفكِّك بسيط لنفس البيانات، يعمل كلٌّ منهما في وقت متعدد الحدود. علاوة على ذلك، ليكن كلٌّ من المُرسِل والمُستقبِل يشتركان في دالة تبديل عشوائية.π{\displaystyle \pi }ونمط عشوائيR{\displaystyle R}.

للترميز: 1. ليكنX=هـ(م){\displaystyle X=E(M)}.

2. ليكنY=π(X)R{\displaystyle Y=\pi (X)\oplus R}.

3. الإرسالY{\displaystyle Y}

ثم لفك التشفير: 1. الاستقبالY{\displaystyle Y'}حسابZ=π-1(YR){\displaystyle Z=\pi ^{-1}(Y'\oplus R)}.

2. احسبم=د(Z){\displaystyle M=D(Z)}.

على غرار مقارنة الفرز السريع المذكورة أعلاه، إذا أرادت القناة القيام بشيء ذكي، فيجب عليها أولاً اختبار جميع التباديل. ومع ذلك، فإن هذا غير عملي بالنسبة لخصم محدود القدرات الحسابية، لذا فإن أقصى ما يمكنها فعله هو إنشاء نمط خطأ عشوائي.شمال{\displaystyle N}ولكن بعد ذلك:

Z=π-1(YR)=π-1(YشمالR)،{\displaystyle Z=\pi ^{-1}(Y'\oplus R)=\pi ^{-1}(Y\oplus N\oplus R),}

منذY=Yشمال{\displaystyle Y'=Y\oplus N}بحسب التعريف.

=π-1(YR)شمال{\displaystyle =\pi ^{-1}(Y\oplus R)\oplus N'}، أينشمال=π-1(شمال)،{\displaystyle N'=\pi ^{-1}(N),}

بما أن أي تبديل يكون خطيًا بالنسبة لعملية XOR،

=Xشمال،{\displaystyle =X\oplus N',}

وفقًا لتعريفY{\displaystyle Y}فوق.

منذπ{\displaystyle \pi }عشوائي،شمال{\displaystyle N'}إنها مجرد ضوضاء عشوائية، ويمكننا استخدام جهاز فك التشفير البسيط لفك تشفير الرسالة المستلمة والعودة إليها.م{\displaystyle M}.

تطبيقات محددة

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

علاوة على ذلك، من الممكن إنشاء رموز تتجاوز الحدود المعروفة لرموز أسوأ الحالات - وتحديدًا، فك التشفير الفريد باستخدام1-R{\displaystyle 1-R}معدل الخطأ. [ 3 ] يمكن تحقيق ذلك عن طريق دمج التوقيعات الرقمية ذات الطابع الزمني مع الرسائل. لا يمكن لقناة محدودة حسابيًا تزوير توقيع؛ وعلى الرغم من أنها قد تحتوي على توقيعات سابقة صحيحة، إلا أن المُستقبِل لا يمكنه استخدام فك تشفير القائمة واختيار رسالة إلا إذا كان توقيعها يحمل الطابع الزمني الصحيح.

انظر أيضاً

مراجع

  1. ليبتون ( 6 مايو 2009). "تعقيد أسوأ الحالات" . رسالة غودل المفقودة وP=NP . تم الاسترجاع في 1 أبريل 2013 .
  2. أوستروفسكي، باندي، ساهي. "الرموز الخاصة القابلة للفك محليًا" (ملف PDF) . تم الاطلاع عليه بتاريخ 1 أبريل 2013 .{{cite web}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  3. ميكالي، بيكرت؛ سودان، أ. ويلسون. "التصحيح الأمثل للأخطاء للضوضاء المحدودة حسابيًا" (ملف PDF) . تم الاطلاع عليه بتاريخ 1 أبريل 2013 .