معلمات الأمان
في علم التشفير ، يُعدّ مُعامل الأمان طريقةً لقياس مدى صعوبة اختراق نظام تشفيري من قِبل المُهاجم . وهناك نوعان رئيسيان من مُعاملات الأمان: الحسابية والإحصائية ، ويُشار إليهما غالبًا بـوعلى التوالي. وبشكل عام، فإن معامل الأمان الحسابي هو مقياس لحجم المدخلات للمشكلة الحسابية التي يعتمد عليها نظام التشفير، والذي يحدد تعقيده الحسابي، بينما معامل الأمان الإحصائي هو مقياس لاحتمالية تمكن الخصم من اختراق النظام (مهما كان معنى ذلك بالنسبة للبروتوكول).
عادةً ما يتم التعبير عن معايير الأمان بتمثيل أحادي - أييتم التعبير عنها كسلسلة منس،، مكتوبة تقليدياً على النحو التالي- بحيث يكون التعقيد الزمني للخوارزمية التشفيرية متعدد الحدود بالنسبة لحجم المدخلات.
الأمن الحاسوبي
يعتمد أمان العمليات التشفيرية الأساسية على صعوبة بعض المسائل المعقدة . ويتم تحديد معيار الأمان الحسابي.بحيثتعتبر عملية الحساب غير قابلة للحل .
أمثلة
- إذا كان أمان مخطط ما يعتمد على سرية مفتاح دالة شبه عشوائية (PRF)، فيمكننا تحديد أنه يجب أخذ عينة من مفتاح PRF من الفضاءبحيث يتطلب البحث الشاملالقدرة الحاسوبية.
- في نظام التشفير RSA ، معلمة الأمانيشير إلى طول المعامل n بالبتات ؛ وبالتالي، يجب أن يكون العدد الصحيح الموجب n عددًا في المجموعة {0، ...، 2- 1}.
الأمن الإحصائي
يعتمد الأمن في علم التشفير غالبًا على حقيقة أن المسافة الإحصائية بين
- توزيع قائم على سر، و
- توزيع مُحاكى ينتجه كيان لا يعرف السر
صغيرة. نُصيغ هذا باستخدام مُعامل الأمان الإحصائي، فنقول إن التوزيعات متقاربة إحصائيًا إذا أمكن التعبير عن المسافة الإحصائية بين التوزيعات كدالة مهملة في مُعامل الأمان. يتم تحديد مُعامل الأمان الإحصائي.بحيثيعتبر ذلك فرصة "صغيرة بما يكفي" لفوز الخصم.
لنفترض وجود فئتين رئيسيتين من هجمات الخصوم على نظام تشفير معين: هجمات يحاول فيها الخصم الحصول على معلومات سرية، وهجمات يحاول فيها إقناع طرف نزيه بقبول عبارة خاطئة على أنها صحيحة (أو العكس). في الحالة الأولى، كما في نظام التشفير بالمفتاح العام ، قد يتمكن الخصم من الحصول على كمية كبيرة من المعلومات التي يمكنه من خلالها محاولة الحصول على معلومات سرية، مثلاً بفحص توزيع النصوص المشفرة لنص عادي ثابت مُشفّر بدرجات عشوائية مختلفة. في الحالة الثانية، قد يتعين على الخصم تخمين تحدٍ أو سر، ويمكنه فعل ذلك باحتمالية ثابتة؛ في هذه الحالة، يمكننا الحديث عن التوزيعات بالنظر إلى خوارزمية أخذ عينات التحدي في البروتوكول. في كلتا الحالتين، يمكننا الحديث عن فرصة "فوز" الخصم بشكل عام، ويمكننا تحديد معيار الأمان الإحصائي باشتراط تقارب التوزيعات إحصائياً في الحالة الأولى، أو بتحديد فضاء التحدي بناءً على معيار الأمان الإحصائي في الحالة الثانية.
أمثلة
- في أنظمة التشفير ، يتمثل أحد جوانب الأمان (بشكل عام) في إمكانية استخلاص أي معلومة عن النص الأصلي من نص مشفر، وذلك من خلال سلسلة نصية مختارة عشوائيًا (بنفس طول النص المشفر) مستقلة عنه. وبصورة رسمية، يتطلب الأمر إثبات أن التوزيع المنتظم على مجموعة من السلاسل النصية ذات الطول الثابت قريب إحصائيًا من التوزيع المنتظم على فضاء جميع النصوص المشفرة الممكنة.
- في بروتوكولات المعرفة الصفرية ، يمكننا تقسيم معايير الأمان الإحصائية إلى معايير أمان إحصائية للمعرفة الصفرية ومعايير أمان إحصائية للسلامة. تحدد الأولى ما يكشفه نص المحادثة عن المعرفة السرية، بينما تحدد الثانية احتمالية أن يتمكن مُثبت غير نزيه من إقناع مُدقِّق نزيه بأنه يعرف سرًا حتى لو لم يكن يعرفه.
- في مفهوم التركيب الشامل ، يعتمد أمان البروتوكول على عدم إمكانية التمييز الإحصائي بين توزيعات التنفيذ في العالم الواقعي والتنفيذ في العالم المثالي. ومن المثير للاهتمام أنه في بيئة غير محدودة حسابيًا ، لا يكفي أن تكون التوزيعات غير قابلة للتمييز إحصائيًا، إذ يمكن للبيئة إجراء التجربة مرات كافية لملاحظة أي توزيع يتم إنتاجه (واقعي أم مثالي)؛ ومع ذلك، فإن أي خصم مستقل ضد البروتوكول لن يفوز إلا باحتمالية ضئيلة جدًا في معيار الأمان الإحصائي، لأنه لا يتفاعل مع البروتوكول إلا مرة واحدة.
انظر أيضاً
- علم التشفير
