Vipimo vya itifaki ya VPN vinathibitisha nini na havithibitishi nini

Hati ya itifaki ni mkataba kati ya utekelezaji, na kuisoma kwa umakini hukuambia wenza wawili wanaofuata vipimo watabadilishana nini na sifa gani wabunifu walikusudia kuhakikisha. Haikuambii ni faili gani ya binary inayoendesha kwenye seva unayounganisha nayo, jinsi seva hiyo ilivyosanidiwa au nini kinatokea baadaye kwa rekodi ya akaunti yako. Hizi ni aina tatu tofauti za ushahidi, na kuchukua vipimo kama zote tatu ndiyo njia ambayo jina la itifaki huanza kufanya kazi isiyoweza kuifanya. Kutenganisha hizo tatu ndiyo zoezi zima.

Hati ni mwanzo wa hoja, si hitimisho lake.

Hati hubainisha nini kwa kweli

Kwa WireGuard, maelezo ya itifaki hufafanua makubaliano ya mkono ya Noise IK, seti isiyobadilika ya primitives, miundo ya ujumbe na ufumaji wa usafirishaji ambao baadaye hubeba pakiti. Kwa IKEv2 kifaa kinachofanana ni RFC 7296, ambacho hubainisha mabadilishano, mizigo na majadiliano ya mapendekezo. Katika hali zote mbili wigo ni sahihi: ujumbe, mashine ya hali na mawazo ambayo malengo ya usalama yanatumika chini yake.

Hali za hiari hufanya usomaji kuwa mgumu. Sifa inayotumika kwa makubaliano ya mkono mmoja inaweza kutotumika kwa usambazaji wenye mpangilio mwingine wa uthibitishaji au usanidi wa akiba.

Ambapo dhamana huisha

Uchambuzi rasmi hujibu swali kuhusu modeli. Kazi ya uthibitishaji ya WireGuard hutumia modeli ya ishara katika kithibitishaji cha Tamarin, ambacho kinaweza kuonyesha kwamba muundo hupinga mashambulizi fulani chini ya mawazo yake; hauonyeshi kwamba utekelezaji uliosambazwa katika nafasi ya mtumiaji hauna hitilafu ya usalama wa kumbukumbu. Pengo hili kati ya modeli na mashine ndilo mahali ambapo matukio halisi huishi. Kusoma uthibitisho kama cheti cha utekelezaji ni kosa la kundi.

Usiri wa mbele unaonyesha mpaka huo huo. Sifa hiyo inategemea funguo kuharibiwa kama itifaki inavyokusudia, na hiyo ni sifa ya utekelezaji na mazingira yake, si ya muundo wa ujumbe. Muundo unaobainisha ufutaji hauwezi kuulazimisha kwenye jukwaa linalohamisha kumbukumbu hadi diski.

Utegemezi wa tabaka hupanua pengo zaidi: maktaba ya TLS nyuma ya handaki linalotegemea TLS, kiolesura cha kernel ambacho handaki ya nafasi ya mtumiaji hutumia, na kizalishaji cha nambari nasibu vyote viko nje ya maandishi ya itifaki.

Fuatilia baiti hadi ndani ya build

Hama kutoka hati hadi vifaa kwa kutambua matoleo, kisha kuyalinganisha na kile kinachohudumia trafiki kwa kweli. Bidhaa inayotaja itifaki inaweza kuongeza vipengele vya utoaji, telemetry na usimamizi ambavyo vipimo havielezi kamwe.

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

Build zinazoweza kuzalishwa tena na checksum zilizochapishwa hufanya iwezekane kuunganisha mti wa chanzo na binary iliyosambazwa. Bila kiungo hicho, chanzo kilichochapishwa kinathibitisha tu kwamba ukaguzi unawezekana, si kwamba faili inayoendesha inalingana nayo.

Usanidi ni wa hatua hiyo hiyo. Seti za cipher, wenza wanaoruhusiwa na mipangilio ya uelekezaji ni chaguo za usambazaji, na build inayofuata vipimo iliyosanidiwa kizembe bado hutoa handaki dhaifu.

Tenganisha taratibu za uendeshaji

Rekodi za akaunti, data ya malipo na mawasilisho ya msaada ni maamuzi ya opereta ambayo hakuna maandishi ya itifaki yanayoyazuia. Ripoti ya ukaguzi inashughulikia vipengele vilivyotajwa ndani ya wigo uliotangazwa, na sera ya faragha inaeleza nia na taratibu; hakuna kimoja kinachobadilisha kingine, na hakuna kimoja ni kauli ya kriptografia.

Hitimisho sahihi ni mkusanyiko: vipimo hufafanua muundo, build na usanidi hufafanua handaki, na taratibu zilizoandikwa za opereta hufafanua kila kitu ambacho handaki haioni kamwe. Sema ni kipi kati ya hivi ulithibitisha, na madai yanabaki kuwa kweli.