Zer frogatzen duen VPN protokolo baten espezifikazioak eta zer ez

Protokolo-dokumentu bat implementazioen arteko kontratua da, eta arretaz irakurtzeak esaten dizu bi pare konexuk zer trukatuko duten eta diseinatzaileek zein propietate bermatu nahi zituzten. Ez dizu esaten zein fitxategi bitar exekutatzen den konektatzen zaren zerbitzarian, nola konfiguratu zen zerbitzari hori edo zer gertatzen den geroago zure kontu-erregistroarekin. Hiru ebidentzia mota desberdin dira, eta espezifikazioa hirurak balira bezala tratatzea da protokolo-izen bat egin ezin duen lana egiten hasten den modua. Hirurak bereizita mantentzea da ariketa osoa.

Dokumentua argumentu baten hasiera da, ez bere ondorioa.

Zer zehazten duen dokumentuak benetan

WireGuard-en kasuan, protokoloaren deskribapenak Noise IK esku-ukutua, primitiba multzo finkoa, mezu-diseinuak eta geroago paketeak garraiatzen dituen garraio-markoa definitzen ditu. IKEv2rako antzeko artefaktua RFC 7296 da, eta horrek trukeak, karga erabilgarriak eta proposamenen negoziazioa zehazten ditu. Bi kasuetan irismena zehatza da: mezuak, egoera-makina eta segurtasun-helburuak betetzen direneko hipotesiak.

Modu aukerakoek irakurketa zailtzen dute. Esku-ukutu baterako balio duen propietate bat agian ez da aplikatuko autentifikazio-antolamendu desberdina edo konfigurazio alternatibo bat duen inplementazio batean.

Non amaitzen diren bermeak

Analisi formal batek modelo bati buruzko galdera erantzuten du. WireGuard-en egiaztatze-lanak modelo sinboliko bat erabiltzen du Tamarin frogatzailean, eta horrek erakuts dezake diseinuak eraso jakin batzuei aurre egiten diela bere hipotesien pean; ez du erakusten banatutako erabiltzaile-espazioko implementazio batek ez duenik memoriaren segurtasuneko akatsik. Modeloaren eta makinaren arteko hutsune horretan bizi dira benetako gertakariak. Froga bat implementazio-ziurtagiri gisa irakurtzea kategoria-errore bat da.

Aurreranzko sekretuak muga bera erakusten du. Propietateak gakoak protokoloak nahi duen bezala suntsitzearen mende dago, eta hori implementazioaren eta haren ingurunearen propietatea da, ez mezu-formatukoa. Ezabatzea zehazten duen diseinu batek ezin du hori inposatu memoria diskoan orrikatzen duen plataforma batean.

Geruzatutako mendekotasunek hutsunea areagotzen dute: TLS oinarritutako tunel baten atzean dagoen TLS liburutegia, erabiltzaile-espazioko tunel batek erabiltzen duen kernel interfazea eta ausazko zenbaki-sorgailua protokoloaren testutik kanpo daude guztiak.

Jarraitu byteei buildera arte

Joan dokumentutik artefaktuetara bertsioak identifikatuz eta gero benetan trafikoari zerbitzatzen dionarekin alderatuz. Protokolo bat izendatzen duen produktu batek hornidura, telemetria eta kudeaketa osagaiak gehi ditzake, espezifikazioak inoiz deskribatzen ez dituenak.

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 erreproducibleek eta argitaratutako kontrol-batuketek iturburu-zuhaitz bat banatutako fitxategi bitar batekin lotzea ahalbidetzen dute. Lotura hori gabe, argitaratutako iturburuak ikuskapena posible dela frogatzen du soilik, ez exekutatzen ari den fitxategia harekin bat datorrela.

Konfigurazioa urrats beraren parte da. Zifratze-multzoak, baimendutako pareak eta ibilbide-ezarpenak hedapen-aukera dira, eta arduragabe konfiguratutako build conforme batek tunel ahula sortzen du oraindik.

Mantendu eragiketa-praktikak bereizita

Kontu-erregistroak, ordainketa-datuak eta laguntza-eskaerak operadorearen erabakiak dira, protokolo-testu batek ere mugatzen ez dituenak. Auditoria-txosten batek izendatutako osagaiak hartzen ditu aitortutako irismen baten barruan, eta pribatutasun-politika batek asmoak eta praktikak deskribatzen ditu; batek ez du bestea ordezkatzen, eta batek ere ez da kriptografia-adierazpena.

Ondorio zehatza metagarria da: espezifikazioak diseinua azaltzen du, buildak eta konfigurazioak tunela azaltzen dute, eta operadorearen dokumentatutako praktikek tunelak inoiz ikusten ez duen guztia azaltzen dute. Esan horietatik zer egiaztatu duzun, eta baieztapena egia izaten jarraitzen du.