د 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

بیا تولیدېدونکي جوړښتونه او خپرې شوې کنټرول جمعې دا ممکنه کوي چې د سرچینې ونه له خپور شوي بائنري سره وتړل شي۔ پرته له دې اړیکې، خپره شوې سرچینه یوازې دا ثابتوي چې پلټنه ممکنه ده، نه دا چې روانه فایل ورسره سمون لري۔

ترتیبات د همدې ګام دي۔ د کوډونو مجموعې، اجازه لرونکي همکاران او د لارښوونې تنظیمات د ځای پرځای کولو غوراوي دي، او ناسم تنظیم شوی سمونکي جوړښت بیا هم کمزوری تونل جوړوي۔

کاري چلندونه جلا وساتئ

د حساب ریکارډونه، د تادیې معلومات او د ملاتړ غوښتنلیکونه د آپریټر پرېکړې دي چې هېڅ پروتوکول متن یې محدودوي نه۔ د پلټنې راپور په اعلان شوي حد کې نومول شوې برخې پوښي، او د محرمیت تګلاره نیتونه او چلندونه تشریح کوي؛ هېڅ یو بل نه بدلوي، او هېڅ یو کریپټوګرافيکي بیان نه دی۔

دقیق پای ټولېدونکی دی: مشخصات ډیزاین تشریح کوي، جوړښت او ترتیبات تونل تشریح کوي، او د آپریټر مستند چلندونه هر هغه څه چې تونل هېڅکله نه ویني تشریح کوي۔ ووایاست چې له دې کوم یو مو تصدیق کړ، او ادعا سمه پاتې کیږي۔