Varnostne zaveze

Povzetek. Ta stran je model varnostnih jamstev (Security Assurance Model) WKL TrustBridge. Vsako varnostno zavezo opredeli kot preverljivo trditev in ob njej navede predpostavke, pod katerimi velja, postopek, s katerim se dokaže, ter preostalo tveganje. Stran izrecno loči tri ravni: kriptografsko lastnost postopka, zahtevo za delovanje ali preverjevalca, pod katero ta lastnost učinkuje, in zavezo o vedenju celotnega sistema. Vsaka zaveza velja samo pod svojimi predpostavkami.

Pojmi

Zaveza – trditev o vedenju celotnega sistema, ki jo je mogoče preveriti z navedenim postopkom.
Predpostavka – pogoj, ki mora biti izpolnjen zunaj zaveze; če odpade, zaveza ne velja.
Postopek dokazovanja – test, meritev, vaja ali pregled, ki zavezo potrdi ali ovrže.

Zaveze

S-01 Brez izdaje brez pooblastitve


Zaveza	Certifikat se izda samo, če za natanko to naročilo obstajajo veljavne odobritve števila oseb, ki ga predpisuje pravilnik, oziroma veljavna atestacija storitve za vpis
Predpostavke	celovitost gostitelja delavca CA, pravilnika in registra; ključi za odobritev niso kompromitirani; HSM sprejema naročila za podpis samo od delavca CA; v modelu Managed operativni partner nima ključa za odobritev
Postopek dokazovanja	testi delavca CA z enim naročilom za vsako pravilo preverjanja, ki mora biti zavrnjeno (brez odobritve, tuja odobritev, odobritev druge zgoščene vrednosti, potekel rok, stornirano naročilo, druga izvedba); test posega v podatkovno bazo; usklajevanje števcev podpisov modula z registrom
Preostalo tveganje	tajni dogovor: odobritelj, ki hkrati nadzoruje upravljanje ali podatkovno bazo, v razredih z eno samo odobritvijo; skrbnik gostitelja delavca CA z dostopom do pravilnika

S-02 Brez veljavnega certifikata zunaj imenskega prostora


Zaveza	Preverjevalec, ki spoštuje pogodbo preverjevalca, ne sprejme certifikata za ime zunaj imenskega prostora izdajateljske CA
Predpostavke	preverjevalec uveljavlja `nameConstraints`, kot to počne adapter TLS; certifikat CA je bil ustvarjen s trdno vsebino iz orodja korenske CA
Postopek dokazovanja	testni certifikati s prepovedanimi imeni, ki morajo biti zavrnjeni; pregled orodja korenske CA
Preostalo tveganje	preverjevalci brez adapterja TLS, ki omejitve imen ne uveljavljajo ali jo uveljavljajo nepopolno; tam zaveza ne velja

S-03 Ključi CA ne zapustijo HSM


Zaveza	Noben zasebni ključ CA ne obstaja zunaj HSM ali njegove zaščitene varnostne kopije
Predpostavke	modul je certificiran, pravilno nastavljen in ključe ustvari kot neizvozljive
Postopek dokazovanja	preverjanje neizvozljivosti ob zagonu delavca CA; zapisnik ceremonije s pričami; pregled konfiguracije modula
Preostalo tveganje	ranljivosti v samem modulu

S-04 Preklic učinkuje v omejenem času


Zaveza	Po vpisu preklica v register vsak preverjevalec, ki spoštuje pogodbo, certifikat zavrne najpozneje po naslednjem ciklu prenosa, torej v približno šestih urah, ki jim je treba prišteti čas objave
Predpostavke	delavec CA in distribucija delujeta; preverjevalec prenaša v predpisanem ritmu
Postopek dokazovanja	meritev od vpisa v register do zavrnitve pri testnem preverjevalcu
Preostalo tveganje	preverjevalci z daljšim ritmom prenosa; predpomnilniki v omrežju

S-05 Podatki o stanju preživijo izpad delavca CA


Zaveza	Po izpadu delavca CA ostane veljaven seznam preklicanih certifikatov dosegljiv vsaj 66 ur
Predpostavke	zadnji seznam je bil objavljen pred izpadom; distribucija deluje
Postopek dokazovanja	vaja izpada z ustavljenim delavcem CA
Preostalo tveganje	izpad delavca CA in rezervne instance, daljši od 66 ur, povzroči zavrnitev vseh preverjanj (fail closed)

S-06 Vsako izdajo je mogoče dokazati tretjim


Zaveza	Za vsak izdani certifikat je mogoče brez podatkovne baze dokazati, katero naročilo s katerimi odobritvami in pod katero različico pravilnika je bilo njegova podlaga, do zadnjega zunanjega sidra
Predpostavke	zunanje sidro je zunaj dosega skrbnikov; register je varnostno kopiran
Postopek dokazovanja	postopek preverjanja za tretje (gl. Revizija in dokazi) na vzorcu
Preostalo tveganje	vpisi po zadnjem sidru so do naslednjega sidra zaščiteni samo pred priložnostno spremembo

S-07 Natanko enkrat za vsako naročilo


Zaveza	Naročilo privede največ do enega certifikata; sesutja ne povzročijo niti dvojne izdaje niti vrzeli v dokazni verigi
Predpostavke	izključno zaklepanje registra deluje; natanko en delavec za vsako CA
Postopek dokazovanja	testi s prisilno prekinitvijo na vsakem mestu med namero in projekcijo; zagon drugega delavca CA
Preostalo tveganje	obnova registra iz prestare varnostne kopije

S-08 Ločitev najemnikov pri branju


Zaveza	Oseba vidi samo podatke najemnikov iz svojega obsega vidnosti
Predpostavke	politike varnosti na ravni vrstic so popolne; osebe so obsegom vidnosti dodeljene pravilno
Postopek dokazovanja	testi z več najemniki na vsaki množici in vsakem ukazu, vključno s poizvedbami s filtri in združevanjem
Preostalo tveganje	kompromitirano upravljanje lahko bere v okviru lastnega dostopa

S-09 Postkvantna avtentikacija samo ob zahtevanem preverjanju


Kriptografska lastnost	Podpisa ML-DSA po današnjem vedenju ne more ponarediti niti napadalec s kvantnim računalnikom
Zahteva za preverjevalca	Preveriti mora alternativni podpis vsakega člena verige in manjkajočega ali neveljavnega šteti za napako
Zaveza	Preverjevalec, ki to preverjanje zahteva, ne sprejme verige, katere podpisi ML-DSA ne izvirajo iz ključev CA – tudi če so klasični podpisi ponarejeni
Ni zaveze	za preverjevalce, ki preverijo samo klasični podpis; ti ne dobijo postkvantne avtentikacije, ker je alternativni podpis mogoče odstraniti
Postopek dokazovanja	testne verige z manjkajočim, ponarejenim in tujim alternativnim podpisom

S-10 Dva faktorja za vsako osebo v upravljanju


Zaveza	Brez osebnega ključa in veljavne seje, odprte z drugim faktorjem, ni dostopa do upravljalnega API
Predpostavke	seje so vezane na osebo in ključ; odvzem učinkuje pri naslednji zahtevi
Postopek dokazovanja	testi: brez ključa, brez seje, s tujo sejo, po preklicu ključa, po odvzemu pravice
Preostalo tveganje	zlonamerna programska oprema na delovni postaji lahko souporablja odprto sejo; gl. analizo na strani Vmesniki in integracija. Odobritve so prizadete samo, če je ključ za odobritev na isti napravi uporaben brez potrditve osebe

S-11 Brez prenosa zaupanja


Zaveza	Adapter TLS organizacije A sprejme samo verige do sider zaupanja, ki jih je A sama sprejela v aktivno razmerje; razmerje med B in C organizaciji C pri A ne da dostopa
Predpostavke	sveženj zaupanja A je podpisan s ključem delavca CA organizacije A; adapter uporablja samo ta sveženj
Postopek dokazovanja	testi z verigami iz hierarhije C, s certifikatom, ki ga je B izdala za ime C, ter z nepodpisanim ali zastarelim svežnjem; vsi morajo biti zavrnjeni
Preostalo tveganje	B lahko v svojem imenskem prostoru upravlja sisteme za C; za to B odgovarja A po njuni pogodbi

S-12 Dodatna postkvantna skrivnost v vsaki povezavi razmerja


Kriptografska lastnost	Razpored ključev TLS 1.3 vse prometne ključe izpelje iz zunanjega PSK in rezultata hibridnega dogovora o ključu; napadalec mora poznati oboje
Zahteva za delovanje	politika razmerja zahteva dodatno skrivnost; nadaljevanje seje in 0-RTT sta izklopljena
Zaveza	Povezava razmerja, ki zahteva dodatno skrivnost, nastane samo, če oba adapterja TLS uporabljata isto aktualno skrivnost svojih agentov ključev; brez potrjene razširitve po RFC 9973 adapter prekine
Ni zaveze	avtentikacija s PSK; ta ostane pri certifikatih (S-09)
Postopek dokazovanja	posnetek rokovanj v obeh smereh: razširitev v ClientHello in ServerHello, način `psk_dhe_ke`, hibridna skupina; napačen PSK povzroči prekinitev; zatrta razširitev povzroči prekinitev; neodvisna analiza povezave protokola agentov in razporeda ključev TLS
Preostalo tveganje	napake v izvedbi adapterja TLS; kompromitiran strežnik na eni od obeh končnih točk

S-13 Preklic razmerja učinkuje v določenem času


Zaveza	Po preklicu smeri v registru takoj ne nastajajo več nove povezave in izmenjave ključev tega razmerja; obstoječe povezave se končajo najpozneje po roku, določenem v politiki
Predpostavke	adapterji TLS organizacije, ki preklicuje, prejmejo nov sveženj zaupanja; agent ključev izbriše skrivnosti razmerja
Postopek dokazovanja	vaja: preklic med tekočim prometom, meritev do zavrnitve novih povezav in do konca zadnje obstoječe
Preostalo tveganje	adapterji, ki jih nov sveženj ne doseže, sprejemajo nove povezave do poteka starega svežnja; veljavnost svežnja ta čas omejuje

Česa izrecno ne zavezujemo

Zaščite pred kompromitiranim HSM ali kompromitirano korensko CA brez povezave.
Učinka omejitve imen pri preverjevalcih brez adapterja TLS, ki je ne uveljavljajo.
Postkvantne avtentikacije pri preverjevalcih, ki preverjajo samo klasično.
Zaščite ključev CA pred stranskimi kanali, ki presega certificiranje HSM.
Zaupnosti prometa, ki ne gre skozi adapter TLS, in lokalnega odseka med adapterjem in aplikacijo.
Pooblastila. Kaj sme partner s preverjeno identiteto narediti, odloči ciljna aplikacija.