بروتوكول نيومان-ستوبلبين

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

إذا بدأت أليس (أ) الاتصال ببوب (ب) وكان الخادم (س) موثوقًا به من قبل الطرفين، فيمكن تحديد البروتوكول على النحو التالي باستخدام تدوين بروتوكول الأمان :

• A و B هما هويتي أليس وبوب على التوالي
• M هو مُعرّف الجلسة
• ${\displaystyle K_{AS}}$هو مفتاح متناظر لا يعرفه إلا A و S
• ${\displaystyle K_{BS}}$هو مفتاح متناظر لا يعرفه إلا B و S
• ${\displaystyle N_{A}}$و${\displaystyle N_{B}}$هي قيم عشوائية (nonces) تم إنشاؤها بواسطة A و B على التوالي
• ${\displaystyle T_{A}}$و${\displaystyle T_{B}}$هي طوابع زمنية تم إنشاؤها بواسطة A و B على التوالي
• ${\displaystyle K_{AB}}$هو مفتاح متماثل مُولّد، والذي سيكون مفتاح الجلسة بين A و B

${\displaystyle A\rightarrow B:A,N_{A}}$

أبلغت أليس بوب بنيتها بدء اتصال آمن.

${\displaystyle B\rightarrow S:B,N_{B},\{A,N_{A},T_{B}\}_{K_{BS}}}$

يقوم بوب بإنشاء طابع زمني ورمز عشوائي، ويرسل هذا إلى الخادم الموثوق.

${\displaystyle S\rightarrow A:\{B,N_{A},K_{AB},T_{B}\}_{K_{AS}},\{A,K_{AB},T_{B}\}_{K_{BS}},N_{B}}$

يقوم الخادم الموثوق بإنشاء مفتاح جلسة ورسالة لكي تقوم أليس بإعادة توجيهها إلى بوب.

${\displaystyle A\rightarrow B:\{A,K_{AB},T_{B}\}_{K_{BS}},\{N_{B}\}_{K_{AB}}}$

أليس تعيد توجيه الرسالة وتتحقق منها${\displaystyle N_{A}}$هو نفسه الذي أنشأته سابقًا. سيتحقق بوب من ذلك.${\displaystyle T_{B}}$و${\displaystyle N_{B}}$لم يتغير شيء عندما يتلقى الرسالة.

تتمثل إحدى مزايا هذا البروتوكول في قدرة أليس على استخدام رسالة الخادم الموثوق لبدء عملية المصادقة مع بوب خلال فترة زمنية محددة مسبقًا دون الحاجة إلى استخدام الخادم الموثوق. ويعمل البروتوكول على النحو التالي باستخدام نفس التعريفات المذكورة أعلاه.

${\displaystyle A\rightarrow B:\{A,K_{AB},T_{B}\}_{K_{BS}},N'_{A}}$

ترسل أليس الرسالة التي أرسلها لها الخادم الموثوق به سابقاً عند التواصل مع بوب.

${\displaystyle B\rightarrow A:N'_{B},\{N'_{A}\}_{K_{AB}}}$

يرسل بوب إلى أليس قيمة عشوائية جديدة، وقيمتها العشوائية الجديدة مشفرة بمفتاح الجلسة الذي أعادت أليس إرساله من اتصال سابق.

${\displaystyle A\rightarrow B:\{N'_{B}\}_{K_{AB}}}$

تقوم أليس بإعادة قيمة "nonce" الخاصة ببوب مشفرة بمفتاح الجلسة للسماح له بالتحقق من نجاح الاتصال.

باستخدام برنامج إثبات النظريات SPASS، تم إثبات إمكانية مهاجمة هذا البروتوكول. ^{[ 1 ]} هذه الهجمة وهجمتان أخريان من ^{[ 2 ]} موضحتان في.

• كيربيروس
• بروتوكول نيدهام-شرودر
• بروتوكول أوتواي-ريس
• ياهالوم
• بروتوكول الضفدع واسع الفم

شناير، بروس (1996)، التشفير التطبيقي ، جون وايلي وأولاده ، الصفحات 60-62 ، رقم ISBN  0-471-12845-7