Hvað VPN-samskiptareglulýsing sannar og hvað ekki

Samskiptaregluskjal er samningur milli útfærslna, og vandleg lestur segir þér hvað tveir samræmdir jafningjar skiptast á og hvaða eiginleika hönnuðirnir ætluðu að tryggja. Það segir þér ekki hvaða tvíundarskrá keyrir á netþjóninum sem þú tengist, hvernig sá þjónn var stilltur eða hvað verður um reikningsfærsluna þína síðar. Þetta eru þrjár mismunandi tegundir sannana, og að meðhöndla lýsinguna sem allar þrjár er leiðin sem samskiptaregluheiti byrjar að vinna verk sem það getur ekki. Að halda þessum þremur aðskildum er öll æfingin.

Skjalið er upphaf röksemdar, ekki niðurstaða hennar.

Hvað skjalið tilgreinir í raun

Fyrir WireGuard skilgreinir samskiptareglulýsingin Noise IK handaband, fast mengi frumstaka, skeytaútlit og þá flutningsumgjörð sem ber síðan pakkana. Fyrir IKEv2 er sambærilega gagnið RFC 7296, sem tilgreinir skipti, notanlegar hleðslur og samningaviðræður tillagna. Í báðum tilvikum er umfangið nákvæmt: skeytin, stöðuvélin og þær forsendur sem öryggismarkmiðin gilda undir.

Valfrjálsar stillingar flækja lesturinn. Eiginleiki sem gildir fyrir eitt handaband á kannski ekki við uppsetningu með annarri auðkenningarskipan eða varastillingu.

Hvar ábyrgðirnar stöðvast

Formleg greining svarar spurningu um líkan. Sannprófunarvinna WireGuard notar táknrænt líkan í Tamarin-sannaranum, sem getur sýnt að hönnunin stendst ákveðnar árásir undir forsendum sínum; hún sýnir ekki að útfærsla í notendarými sem var afhent hafi enga minnisöryggisvillu. Það er í þessu bili milli líkans og vélar sem raunveruleg atvik lifa. Að lesa sönnun sem útfærsluvottorð er flokksvilla.

Framsækin leynd sýnir sömu mörk. Eiginleikinn byggist á að lyklum sé eytt eins og samskiptareglurnar ætla, og það er eiginleiki útfærslunnar og umhverfis hennar, ekki skeytaformsins. Hönnun sem mælir fyrir um eyðingu getur ekki knúð hana fram á kerfi sem síðar minni á disk.

Lagskiptar ógnir víkka bilið enn frekar: TLS-safnið á bak við TLS-tunnil, kjarnaviðmótið sem notendarýmistunnill notar og slembitölugjafinn standa öll utan samskiptareglutextans.

Fylgdu bætunum inn í smíðina

Farðu frá skjali til gagna með því að auðkenna útgáfur og bera þær síðan saman við það sem þjónar umferð í raun. Vara sem nefnir samskiptareglur getur bætt við útbúnaðar-, fjarritunar- og stjórnunarhlutum sem lýsingin lýsir aldrei.

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

Endurgeranlegar smíðar og birtar gátsummer gera það kleift að tengja upprunatré við dreifta tvíundarskrá. Án þessarar tengingar sannar birtur uppruni aðeins að skoðun sé möguleg, ekki að skráin sem keyrir samsvari honum.

Stillingar heyra til sama skrefs. Dulritunarsett, leyfðir jafningjar og leiðastillingar eru val um uppsetningu, og samræmd smíð sem stillt er kærulaust framleiðir samt veikan tunnil.

Haltu rekstrarvenjum aðskildum

Reikningsfærslur, greiðslugögn og stuðningsbeiðnir eru ákvarðanir rekstraraðilans sem enginn samskiptareglutexti takmarkar. Endurskoðunarskýrsla nær yfir tilgreinda hluti innan skilgreinds umfangs, og persónuverndarstefna lýsir fyrirætlunum og venjum; hvorugt kemur í stað hins, og hvorugt er dulritunarfullyrðing.

Nákvæm niðurstaða er uppsöfnuð: lýsingin útskýrir hönnunina, smíðin og stillingarnar útskýra tunnilinn, og skjalfestar venjur rekstraraðilans útskýra allt sem tunnillinn sér aldrei. Segðu hvað af þessu þú staðfestir, og fullyrðingin helst sönn.