طوابع التوقيت TAI64N في WireGuard: منع هجمات إعادة تشغيل المصافحة في VPN

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

في البروتوكولات التقليدية مثل IPsec IKEv2 أو OpenVPN القياسي، يؤدي استلام حزمة مصافحة إلى إلزام الخادم بحجز مساحات في الذاكرة والتحقق من سلاسل الشهادات المعقدة والقيام بحسابات تشفيرية مجهدة. ويؤدي تدفق الحزم المعاد تشغيلها (Replay Attack) إلى استنزاف سريع لمعالج الخادم وذاكرته، مسبباً حالة حرمان من الخدمة (DoS).

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

نموذج التهديد الأمني لهجمات إعادة تشغيل المصافحة

لفهم جدوى طوابع التوقيت المحمية، نراجع مخطط بدء الجلسة في بروتوكول WireGuard وفق نموذج Noise_IK:

مخطط تبادل رسائل المصافحة في WireGuard (Noise_IKpsk2):
العميل (البادئ)                                       الخادم (المستجيب)
  |                                                           |
  |--- حزمة النوع 1: بدء المصافحة (Handshake Initiation) ----->|
  |    - المفتاح العام المؤقت غير المشفر (32 بايت)            |
  |    - المفتاح العام الثابت المشفر (48 بايت AEAD)           |
  |    - طابع التوقيت TAI64N المشفر (28 بايت AEAD)            |
  |    - وسم التحقق mac1 (16 بايت)، mac2 (16 بايت)            |
  |                                                           |
  |<-- حزمة النوع 2: الاستجابة للمصافحة (Handshake Response) -|

في الحزمة الأولى، تُشفر هوية العميل الثابتة وطابعه الزمني باستخدام خوارزمية ChaCha20-Poly1305 ومفاتيح مشتقة من حسابات ديفي-هيلمان.

وإذا اعترض طرف خارجي حزمة صحيحة من النوع 1، فلن يتمكن من تعديل محتواها لوجود وسم Poly1305. ومع ذلك، في حال غياب التحقق من حداثة الرسالة، يمكنه إعادة إرسال الحزمة ملايين المرات:

• سينجح الخادم في فك التشفير والتحقق من هوية الطرف.
• سيقوم الخادم بعمليات ضرب نقطية على منحنى Curve25519 لإنشاء الرد.
• سيحجز الخادم مساحة ذاكرة لانتظار إتمام الجلسة.

هذا التفاوت في الجهد (تكلفة منعدمة للمهاجم مقابل جهد حسابي كبير للخادم) يعرض بوابات الاتصال لخطر الاستنزاف.

البنية الرقمية لطابع التوقيت TAI64N

اعتمد WireGuard معيار TAI64N الذي طوره عالم التشفير دان بيرنشتاين بدلاً من توقيت يونيكس المعتاد. فتوقيت يونيكس التقليدي يخضع لتعديل الثواني الكبيسة (leap seconds)، مما قد يدفع ساعة النظام للتراجع إلى الوراء وخلق فترات زمنية غير متسلسلة يمكن استغلالها.

يوفر التوقيت الذري الدولي (TAI) مقياساً مستمراً بالثواني لا يتراجع أبداً. ويحدد نسق TAI64N الوقت بدقة متناهية على مستوى النانو ثانية عبر بنية ثنائية بحجم 12 بايت:

نسق طابع TAI64N الثنائي في WireGuard (12 بايت):
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                      ثواني TAI64 (الجزء الأعلى)               |
|                   (عدد صحيح 64 بت بترتيب Big-Endian)          |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                      ثواني TAI64 (الجزء الأدنى)               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                     إزاحة النانو ثانية (Nanoseconds)          |
|                   (عدد صحيح 32 بت بترتيب Big-Endian)          |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

1. ثواني TAI64 (8 بايت): عداد تراكمي للثواني المنقضية منذ بداية الحقبة، وهو ما يتجاوز تماماً مشكلة عام 2038 في التوقيت الرقمي.
2. أجزاء النانو ثانية (4 بايت): قيمة تتراوح بين $0$ و$999,999,999$. وتضمن هذه الدقة أن أي اتصالات متتالية وسريعة من الجهاز ذاته ستنتج قيماً متزايدة بشكل صارم.

وتتحول هذه الـ 12 بايت بالتشفير إلى كتلة بحجم 28 بايت. وبفضل هذا التشفير، لا يستطيع مراقب الشبكة قراءة الوقت لتحديد البصمة الزمنية لساعة جهاز العميل.

التحقق في النواة والإسقاط في زمن ثابت

تتبع وحدة WireGuard في نواة لينكس تسلسلاً دقيقاً عند معالجة الحزمة الواردة:

استلام حزمة بدء المصافحة (النوع 1)
         |
         v
[التحقق من MAC1: حساب SipHash للحزمة بمفتاح الخادم العام]
         |
         +--> غير صالح؟ إسقاط فوري للحزمة (دون حجز ذاكرة)
         v
[حساب مفاتيح DH المؤقتة]
         |
         v
[فك تشفير المفتاح الثابت وطابع TAI64N عبر تقنية AEAD]
         |
         +--> فشل وسم التحقق؟ إسقاط فوري
         v
[مقارنة في زمن ثابت مع قيمة last_sent_handshake المحفوظة]
         |
         +--> الوقت المستلم <= last_sent_handshake؟
         |         |
         |         v
         |    إسقاط فوري (حزمة مكررة! عدم إنشاء جلسة)
         v
[تحديث السجل: last_sent_handshake = الوقت المستلم]
         |
         v
[متابعة إنشاء حزمة الرد من النوع 2]

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

تتم المقارنة في زمن ثابت (constant-time)، مما يبطل الهجمات المعتمدة على الفروق الزمنية في التحليل.

معالجة الحالات الخاصة: تفاوت التوقيت ووضع السكون

نظراً لاشتراط زيادة الطابع الزمني باستمرار (الوقت الجديد > الوقت القديم)، تتعامل المنظومة مع الحالات الواقعية كالتالي:

تفاوت الوقت بين العميل والخادم

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

استيقاظ الأجهزة المحمولة من السكون

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

إعادة ضبط الساعة عند نفاد الطاقة

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

موثوقية الساعات التراكمية في بنية RiceGuard

لحماية شبكات الأعمال من اضطرابات الساعات في الأجهزة المحمولة، تعتمد شبكة VPNRice آليات مرنة ضمن محرك RiceGuard:

• عداد زمني تراكمي في منطقة آمنة: في بيئات الهواتف المعرضة لتعديل الوقت من شبكات الاتصال، يحتفظ RiceGuard بعداد مستقل داخل العتاد الآمن. وعند رصد أي تراجع في وقت النظام، يتم تعويض الفارق تلقائياً لضمان تصاعد طوابع TAI64N باستمرار.
• استمرارية الاتصال أثناء صيانة الخوادم: عند ترقية البوابات ونقل الحمل إلى عقد بديلة، ينسق نظام إدارة المفاتيح في RiceGuard بيانات التوقيت المعتمدة بين العقد بسلاسة، مانعاً حظر المستخدمين نتيجة الفروق البسيطة بين الخوادم.
• التكامل مع آليات Cookie MAC2: أثناء هجمات الحرمان من الخدمة الواسعة، يعمل فحص TAI64N بالتوازي مع ملفات تعريف الارتباط عديمة الحالة، مما يمكن النظام من استبعاد ملايين الحزم المشبوهة بسرعة المعالجة المباشرة دون إرهاق المعالجات.

من خلال الالتزام بمعيار TAI64N، يوفر بروتوكول WireGuard وبنية RiceGuard حماية راسخة ضد هجمات إعادة التشغيل، مع الحفاظ على سرعة فائقة في الربط واستقرار مستمر للشبكات الحيوية.

الحصول على VPNRice.\n