ما الذي يجعل البروتوكول آمنًا؟

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

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

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

يعني عدم التنصل أن المرسل لا يستطيع إنكار إرساله للرسالة لاحقًا. ويتحقق ذلك من خلال التوقيعات الرقمية باستخدام مفاتيح غير متماثلة؛ إذ لا يمكن لأحد إنتاج التوقيع سوى حامل المفتاح الخاص، بينما يتحقق المفتاح العام المطابق من صحته. ولا توفّر MACs عدم التنصل، لأن المرسل والمستقبل يعرفان السر المشترك، ويمكن لأي منهما إنتاج MAC.

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

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

تتحقق المصادقة أحادية الاتجاه من هوية طرف واحد فقط: ففي HTTPS، يقدّم الخادم شهادة يتحقق منها العميل، لكن الخادم لا يتحقق عادةً من هوية العميل. أما المصادقة المتبادلة (أو TLS المتبادلة، mTLS) فتتطلب من كلا الطرفين تقديم الشهادات والتحقق منها. وتشيع mTLS في بنيات الخدمات المصغّرة، وبوابات API، وشبكات VPN المؤسسية، حيث يجب التحقق من كلا الطرفين قبل تبادل البيانات الحساسة.

لا يستطيع مصممو البروتوكولات الاعتماد على الحدس وحده. فقد يفشل بروتوكول يبدو آمنًا بوضوح بطرق دقيقة. نُشر بروتوكول Needham-Schroeder للمفتاح العام عام 1978، وكان يُعتقد أنه آمن. وفي عام 1995، اكتشف Gavin Lowe خللًا أتاح هجوم انتحال باستخدام أداة للتحقق الشكلي. وأصبح التحقق الشكلي باستخدام أدوات فحص النماذج مثل Tamarin أو ProVerif ممارسة معيارية في تصميم البروتوكولات الحساسة أمنيًا.

يُعد نموذج Dolev-Yao نموذج التهديد المعياري لتحليل بروتوكولات التشفير. ويفترض أن المهاجم يسيطر على الشبكة بأكملها؛ إذ يستطيع اعتراض أي رسالة وحظرها وتعديلها وإعادة تشغيلها وحقن رسائل جديدة. وتُفترض مثالية بدائيات التشفير، أي خلوها من نقاط الضعف الرياضية. ووفق هذا النموذج، لا يكون البروتوكول آمنًا إلا إذا حقق أهدافه حتى عندما يملك المهاجم سيطرة كاملة على جميع الاتصالات.

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

كُسر SSL 3.0 بواسطة هجوم POODLE. وأُوقف العمل بـ TLS 1.0 و1.1 بسبب نقاط ضعف متعددة. كما كُسر تشفير WEP لشبكات WiFi بالكامل خلال السنة الأولى من نشره. ويُعد PPTP VPN غير آمن بسبب نقاط الضعف في MS-CHAPv2. وقد علّم كل إخفاق من هذه الإخفاقات مجتمع الأمن شيئًا عن الفجوة بين الحدس الأمني غير الرسمي وتصميم البروتوكولات المثبت صحته وفق نموذج Dolev-Yao.

ما الخاصية الأمنية التي تضمن عدم إمكانية إعادة إرسال رسالة سجّلها مهاجم اليوم إلى الخادم لاحقًا بنجاح لتكرار إجراء ما؟

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