Saugumo įrodymas ir įgyvendinimo informacijos nutekėjimas
Tyrimų kontekstas
research method · established · Patikros data 2026-10-10
Juodosios dėžės šifravimo ar parašų žaidimo įrodyme paprastai atskleidžiami nurodyti išėjimai ir orakulai, bet ne nuo paslapties priklausantis vykdymo laikas, galios vartojimas, podėlio pėdsakai ar gedimų atsakai.
Esminės žinios
Juodosios dėžės šifravimo ar parašų žaidimo įrodyme paprastai atskleidžiami nurodyti išėjimai ir orakulai, bet ne nuo paslapties priklausantis vykdymo laikas, galios vartojimas, podėlio pėdsakai ar gedimų atsakai. Nuo paslapties nepriklausomo vykdymo laiko įgyvendinimas, entropijos generavimas, patikrintas įvesties tvarkymas ir atsparumas gedimams skirti papildomiems grėsmių modeliams. Atitikties testų vektoriai gali aptikti konkrečias įgyvendinimo klaidas, tačiau negali patvirtinti visų šalutinių kanalų nebuvimo ar garantuoti pagrindinės sudėtingumo prielaidos.
Sąlygos ir taikymo ribos
- Nurodykite puolėjo fizinę ir nuotolinę prieigą, stebimus pėdsakus, gebėjimą sukelti gedimus ir informacijos nutekėjimo modelį.
- Testai, formalus modelis ir naudojama aparatinė įranga suteikia skirtingos apimties įrodymus.
Šaltiniai · 2
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: šifravimo žaidimai, skyriai 2–3/9/12, autentifikavimas, skyriai 6–8, parašai, skyrius 13, redukcijos ir tapatybės nustatymas bei nulinis žinojimas, skyriai 18–20; §§3.2–3.3: IND-CCA2 ir nesėkmių modelis bei įgyvendinimo apribojimai; §§7–8: parametrai, lentelės 1–3. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-side-channel-security-scope
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas