Ĉu pagata VPN povas rajtigi sesiojn sen via konto?
Neligeblaj ĵetonoj povas apartigi la kontrolon de rajtigo disde la sesio mem. Gravas la dezajno de eldono kaj elaĉeto, ne la etikedo sur la ensaluta ekrano.
Pagi por tunelo ne devas signifi prezenti la fakturan identecon ĉe ĉiu konekto. Dezajno povas kontroli rajtigon unufoje, doni al la kliento kriptografiajn ĵetonojn kaj lasi la enirejon poste akcepti ĵetonon sen vidi la konton malantaŭ ĝi. Ĉu tio vere kaŝas ion dependas de la elektoj pri eldono kaj elaĉeto, do traktu ĝin kiel specifan ekzercon kun kvar sekcioj, ne kiel funkcion, kiun vi ŝaltas.
Apartigu la aĉetan paŝon disde la sesia paŝo
La arkitekturo Privacy Pass en RFC 9576 donas la vortprovizon: kliento, atestanto, eldonanto kaj origino. La kliento pruvas iun econ al la eldonanto kaj ricevas ĵetonojn; poste ĝi prezentas unu al la origino, kiu decidas ĉu servi ĝin. Aplikite al VPN, la atestata eco povus esti unu unuo de aliro.
Fakturado ankoraŭ vidas tion, kion ĝia propra procezo bezonas, kaj neniu asertas la malon. La pli mallarĝa celo estas, ke la posta elaĉeto ne povu esti ligita al la aĉeto, kiu produktis la ĵetonon. Tio estas konkreta, testebla eco, kaj ĝuste tion indas skribi.
Hazarde aspektanta portanto-ĉeno ne donas tion. Se la eldonanto konservas la valoron apud klienta rikordo kaj la enirejo povas peti tiun mapadon, la du interagoj estas ligitaj per datumbazo anstataŭ per kriptografio. La konstruaĵo devas igi la eldonanton nekapabla respondi tiun demandon, kaj la lanĉo devas malhelpi la eldonanton kaj la enirejon kunigi siajn vidpunktojn.
Difinu, kion rajtigas unu ĵetono
«Unu ĵetono aĉetas aliron» preskaŭ nenion respondas opere. Ĉu la unuo estas unu konekto, tempokvoto aŭ volumeno? Ĉu kliento, kiu perdis sian respondon, povas daŭrigi la saman permeson? Kio okazas, kiam aparato rekonektiĝas dum retŝanĝo? Tiuj respondoj decidas ĉu la dezajno estas uzebla, kaj ĉiu el ili havas sekvon por privateco.
| 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 |
Elektu unu intence kaj skribu apude la konduton ĉe malsukceso. Kliento, kiu post tempolimo reprovas kun nova rajto, konsumas alian unuon, kio estas samtempe surprizo en la fakturo kaj signalo pri privateco.
Skribu la politikon pri reuzo kaj revoko
Revoko estas la loko, kie anonimaj dezajnoj kutime rompas sian propran promeson. Nuligi abonon kaj malvalidigi jam eldonitajn ĵetonojn estas malsamaj operacioj, kaj enirejo, kiu silente faras kontoserĉon por decidi, jam ne estas anonima en tiu punkto.
Elektu eksvalidiĝon, limon de eldono kaj revokan historion, kiuj kongruas. Poste trarigardu la proprajn rikordojn de la enirejo por kampoj, kiuj reenkondukas la ligon, kiun vi forigis.
sudo grep -rIl --include='*.log' -e 'Bearer ' -e 'account_id' /var/log/vpn/
Tiu serĉo listigas protokolajn dosierojn enhavantajn kampojn de ĵetonoj aŭ kontoj, kaj tio estas la unua loko, kie zorga dezajno fuĝas en la praktiko. Sesia rikordo, kiu konservas la ĵetonan valoron apud konta identigilo, detruas la tutan konstruaĵon, kaj ĝi kutime venas per sencimiga ŝanĝo, kiun neniu reviziis.
Difinu ankaŭ, kion la enirejo konservas post la fino de sesio. Daŭro, bajtoj kaj finpunkto estas utilaj por operacioj, kaj ĉiu el ili estas peco de la puzlo, kiun observanto ŝatus havi. Tenu la konservan periodon mallonga kaj la kampoliston mallonga, poste revizu ambaŭ kiam sencimiga ŝanĝo aldonas kolumnon. Neniu rimarkas novan protokolan kampon antaŭ ol ĝi tie estas jaron.
Esprimu la aserton, poste la observojn, kiuj restas
Skribu la privatecan aserton en unu frazo kun ĝiaj supozoj: kiu partio devas esti nekapabla ligi kiujn kuntekstojn, kaj kio okazas se la eldonanto kaj la enirejo komparas notojn. Dezajno, kiu postvivas tiun frazon, estas revizebla; unu priskribita nur kiel «nula scio» ne estas.
Poste listigu, kio restas videbla sendepende de ĉio. Fontaj adresoj, konektaj tempoj, paketaj grandoj kaj la simpla fakto, ke aĉeto okazis mallonge antaŭ ol aperis la sola nova konekto, staras ĉiuj ekster la kriptografio. Unu kliento, kiu aĉetas unu unuon kaj konektiĝas unufoje, estas ligeble nur per tempigo, kaj neniu ĵetona dezajno tion ŝanĝas.
La honesta rezulto estas pli mallarĝa ligo inter konto kaj uzado, ne nevidebla sesio. Ĝi tamen indas konstrui, kondiĉe ke la dokumentaro tion diras kaj la operaciaj rikordoj kongruas kun la aserto.