Ali lahko plačan VPN odobri seje brez vašega računa?
Žetoni, ki jih ni mogoče povezati, lahko ločijo preverjanje upravičenosti od same seje. Pomembna je zasnova izdaje in unovčenja, ne oznaka na prijavi.
Plačilo za tunel ne pomeni nujno, da ob vsaki povezavi predstavite plačilno identiteto. Zasnova lahko enkrat preveri upravičenost, stranki izroči kriptografske žetone in omogoči prehodu, da pozneje sprejme žeton, ne da bi videl račun za njim. Ali to res kaj skrije, je odvisno od odločitev o izdaji in unovčenju, zato to obravnavajte kot specifikacijsko vajo s štirimi razdelki, ne kot funkcijo, ki jo vklopite.
Ločite korak nakupa od koraka seje
Arhitektura Privacy Pass v RFC 9576 daje besedišče: odjemalec, atestator, izdajatelj in izvor. Odjemalec izdajatelju dokaže neko lastnost in prejme žetone; pozneje enega predstavi izvoru, ki odloči, ali ga bo postregel. Če to uporabimo za VPN, je atestirana lastnost lahko ena sama enota dostopa.
Obračun še vedno vidi, kar potrebuje njegov lastni postopek, in nihče ne trdi drugače. Ožji cilj je, da poznejšega unovčenja ni mogoče povezati z nakupom, ki je ustvaril žeton. To je konkretna, preverljiva lastnost in vredna zapisa.
Naključno videti bearer niz tega ne zagotavlja. Če izdajatelj shranjuje vrednost ob zapisu stranke in lahko prehod zahteva to preslikavo, sta interakciji povezani prek baze podatkov, ne prek kriptografije. Konstrukcija mora izdajatelja narediti nezmožnega odgovoriti na to vprašanje, uvedba pa mora preprečiti, da bi izdajatelj in prehod združila svoja pogleda.
Odločite, kaj en žeton odobri
„En žeton kupi dostop“ operativno ne pove skoraj ničesar. Je enota ena povezava, časovna kvota ali količina? Lahko odjemalec, ki je izgubil odgovor, nadaljuje isto dovoljenje? Kaj se zgodi, ko se naprava med spremembo omrežja znova poveže? Ti odgovori odločajo o uporabnosti zasnove in vsak od njih ima posledico za zasebnost.
| Reuse rule | What it buys | What it leaks |
|---|---|---|
| Single use per connection | Strongest unlinkability between sessions | Frequent reissuance, more purchase-to-use timing pairs |
| Bounded time window | Fewer tokens, reconnects work | Activity inside the window is linkable |
| Long-lived grant | Operationally simple | Behaves like an account reference with extra steps |
Eno izberite namerno in ob njej zapišite vedenje ob napaki. Odjemalec, ki po časovni omejitvi poskusi znova z novo pravico, porabi še eno enoto, kar je hkrati presenečenje na računu in signal o zasebnosti.
Zapišite politiko ponovne uporabe in preklica
Preklic je mesto, kjer anonimne zasnove običajno prelomijo svojo obljubo. Preklic naročnine in razveljavitev že izdanih žetonov sta različni operaciji, prehod, ki tiho izvede iskanje računa, da bi odločil, pa v tistem trenutku ni več anonimen.
Izberite potek, omejitev izdaje in zgodbo o preklicu, ki se ujemajo. Nato preglejte lastne evidence prehoda glede polj, ki znova uvedejo povezavo, ki ste jo odstranili.
sudo grep -rIl --include='*.log' -e 'Bearer ' -e 'account_id' /var/log/vpn/
To iskanje navede dnevniške datoteke s polji žetona ali računa, kar je v praksi prvo mesto, kjer skrbna zasnova pušča. Zapis seje, ki shranjuje vrednost žetona ob identifikatorju računa, uniči celotno konstrukcijo, in običajno pride skozi razhroščevalno spremembo, h kateri se ni nihče vrnil.
Določite tudi, kaj prehod obdrži po koncu seje. Trajanje, bajti in končna točka so uporabni za obratovanje in vsak od njih je del sestavljanke, ki bi ga opazovalec rad imel. Obdobje hrambe in seznam polj naj bosta kratka, oboje pa pregledajte, ko razhroščevalna sprememba doda stolpec. Nihče ne opazi novega dnevniškega polja, dokler ni tam leto dni.
Izrecite trditev in nato opažanja, ki ostanejo
Zapišite trditev o zasebnosti v enem stavku z njenimi predpostavkami: katera stran ne sme biti zmožna povezati katerih kontekstov in kaj se zgodi, če izdajatelj in prehod primerjata zapiske. Zasnova, ki ta stavek preživi, je pregledljiva; tista, ki je opisana le kot „ničelno znanje“, ni.
Nato naštejte, kaj ostane vidno ne glede na vse. Izvorni naslovi, časi povezav, velikosti paketov in preprosto dejstvo, da se je nakup zgodil malo preden se je pojavila edina nova povezava, so vsi zunaj kriptografije. Posamezna stranka, ki kupi eno enoto in se poveže enkrat, je povezljiva že samo po času, in nobena zasnova žetona tega ne spremeni.
Pošten rezultat je ožja povezava med računom in uporabo, ne nevidna seja. Še vedno se jo splača zgraditi, če dokumentacija to pove in obratovalni zapisi ustrezajo trditvi.