VPN پروٹوکول کی تفصیل کیا ثابت کرتی ہے اور کیا نہیں

پروٹوکول کی دستاویز نفاذ کے درمیان ایک معاہدہ ہے، اور غور سے پڑھنا بتاتا ہے کہ دو مطابق فریق کیا تبادلہ کریں گے اور ڈیزائنرز کن خصوصیات کی ضمانت دینا چاہتے تھے۔ لیکن یہ نہیں بتاتی کہ جس سرور سے آپ جڑتے ہیں اس پر کون سی بائنری چل رہی ہے، وہ سرور کیسے ترتیب دیا گیا تھا یا بعد میں آپ کے اکاؤنٹ ریکارڈ کا کیا ہوتا ہے۔ یہ تین مختلف قسم کے شواہد ہیں، اور تفصیل کو تینوں سمجھنا ہی وہ راستہ ہے جس پر پروٹوکول کا نام وہ کام کرنے لگتا ہے جو وہ نہیں کر سکتا۔ تینوں کو الگ رکھنا ہی پوری مشق ہے۔

دستاویز دلیل کا آغاز ہے، اس کا اختتام نہیں۔

دستاویز واقعی کیا متعین کرتی ہے

WireGuard کے لیے پروٹوکول کی تفصیل Noise IK ہینڈ شیک، بنیادی اجزا کا مقررہ مجموعہ، پیغام کی ترتیب اور بعد میں پیکٹ اٹھانے والی ٹرانسپورٹ فریمنگ متعین کرتی ہے۔ IKEv2 کے لیے موازنہ کرنے والی دستاویز RFC 7296 ہے، جو تبادلوں، پے لوڈز اور تجاویز کی گفت و شنید کو متعین کرتی ہے۔ دونوں صورتوں میں دائرہ درست ہے: پیغامات، حالت کی مشین اور وہ مفروضے جن کے تحت سلامتی کے اہداف لاگو ہوتے ہیں۔

اختیاری طریقے پڑھنے کو پیچیدہ کرتے ہیں۔ ایک ہینڈ شیک کے لیے لاگو خصوصیت کسی دوسری تصدیق کی ترتیب یا فال بیک ترتیب والی تعیناتی پر لاگو نہ ہو سکتی ہے۔

ضمانتیں کہاں رکتی ہیں

رسمی تجزیہ کسی ماڈل کے بارے میں سوال کا جواب دیتا ہے۔ WireGuard کا تصدیقی کام Tamarin ثابت کنندہ میں علامتی ماڈل استعمال کرتا ہے، جو دکھا سکتا ہے کہ ڈیزائن اپنے مفروضوں کے تحت کچھ حملوں کا مقابلہ کرتا ہے؛ لیکن یہ نہیں دکھاتا کہ تقسیم شدہ صارف فضا نفاذ میں میموری سلامتی کی کوئی خرابی نہیں۔ اسی خلا میں ماڈل اور مشین کے درمیان حقیقی واقعات رہتے ہیں۔ ثبوت کو نفاذ کا سرٹیفکیٹ سمجھ کر پڑھنا زمرہ کی غلطی ہے۔

آگے کی رازداری اسی حد کو دکھاتی ہے۔ یہ خصوصیت چابیاں کے پروٹوکول کے ارادے کے مطابق تباہ ہونے پر منحصر ہے، اور یہ پیغام کی شکل کی نہیں بلکہ نفاذ اور اس کے ماحول کی خصوصیت ہے۔ مٹانے کا حکم دینے والا ڈیزائن اسے میموری کو ڈسک پر منتقل کرنے والے پلیٹ فارم پر نافذ نہیں کر سکتا۔

تہوں والے انحصار خلا کو مزید وسیع کرتے ہیں: TLS پر مبنی ٹنل کے پیچھے TLS لائبریری، صارف فضا ٹنل کا استعمال کردہ کرنل انٹرفیس اور بے ترتیب عدد پیدا کرنے والا، سب پروٹوکول کے متن سے باہر ہیں۔

بائٹس کا پیچھا بلڈ تک کریں

ورژن شناخت کر کے اور پھر ان کا موازنہ اس سے کر کے جو واقعی ٹریفک کی خدمت کرتا ہے، دستاویز سے نمونوں کی طرف جائیں۔ پروٹوکول کا نام لینے والی مصنوعات ایسے اجزا شامل کر سکتی ہے جو تفصیل کبھی بیان نہیں کرتی: فراہمی، ٹیلی میٹری اور انتظام۔

openvpn --version | head -3
wg --version
dpkg -l | grep -E 'openvpn|wireguard|libssl'
ss -lunp | grep -E '1194|51820'
sha256sum ./wireguard-tools_1.0.20210914_amd64.deb

دوبارہ پیدا ہونے والے بلڈز اور شائع شدہ چیک سمز ماخذ کے درخت کو تقسیم شدہ بائنری سے جوڑنا ممکن بناتے ہیں۔ اس ربط کے بغیر، شائع شدہ ماخذ صرف یہ ثابت کرتا ہے کہ معائنہ ممکن ہے، یہ نہیں کہ چلنے والی فائل اس سے مطابقت رکھتی ہے۔

ترتیب اسی مرحلے کی ہے۔ سائفر سیٹس، اجازت یافتہ ساتھی اور روٹنگ کی ترتیبات تعیناتی کے انتخاب ہیں، اور لاپرواہی سے ترتیب دیا گیا مطابق بلڈ بھی کمزور ٹنل ہی بناتا ہے۔

آپریشنل طریقوں کو الگ رکھیں

اکاؤنٹ ریکارڈز، ادائیگی کا ڈیٹا اور معاونت کی درخواستیں آپریٹر کے فیصلے ہیں جنہیں کوئی پروٹوکول متن محدود نہیں کرتا۔ آڈٹ رپورٹ اعلان شدہ دائرے میں نامزد اجزا کا احاطہ کرتی ہے، اور رازداری کی پالیسی ارادوں اور طریقوں کو بیان کرتی ہے؛ کوئی کسی کا متبادل نہیں، اور کوئی بھی خفیہ نگاری کا بیان نہیں۔

درست نتیجہ مجموعی ہے: تفصیل ڈیزائن کی وضاحت کرتی ہے، بلڈ اور ترتیب ٹنل کی وضاحت کرتے ہیں، اور آپریٹر کے دستاویزی طریقے وہ سب کچھ جو ٹنل کبھی نہیں دیکھتی بیان کرتے ہیں۔ بتائیں کہ ان میں سے آپ نے کیا تصدیق کیا، اور دعویٰ درست رہتا ہے۔