Šifravimo saugumas kaip IND-CPA eksperimentas
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Neatskiriamumo eksperimente efektyvus priešininkas pasirenka vienodo ilgio pranešimus ir gauna vieno iš jų šifrą; pranešimą parenka paslėptas atsitiktinis bitas.
Esminės žinios
Neatskiriamumo eksperimente efektyvus priešininkas pasirenka vienodo ilgio pranešimus ir gauna vieno iš jų šifrą; pranešimą parenka paslėptas atsitiktinis bitas. Saugumo nuo pasirinkto atvirojo teksto atakų eksperimente suteikiama leidžiama šifravimo orakulo prieiga ir reikalaujama, kad augant saugumo parametrui atskyrimo pranašumas būtų nykstamai mažas. Pagal žaidimo taisykles slepiamas turinys, bet ne pranešimo ilgis, prieigos šablonai ar pažeistas galinis įrenginys. Atsitiktinis šifravimas arba tinkamai tvarkomi nonce atitinkamame modelyje apsaugo nuo deterministinio lygybės atskleidimo.
Vertės ir lygtys
Adv_guess(A)=|Pr[b_hat=b]−1/2|
- b
- Tolygiai pasiskirstęs paslėptas iššūkio bitas
- b_hat
- Priešininko spėjimas
- A
- Priešininkas, turintis nurodytą orakulo prieigą ir skaičiavimo išteklius
Sąlygos ir taikymo ribos
- Nurodykite slaptojo arba viešojo rakto žaidimą, užklausų skaičių, saugumo parametrą, nonce politiką ir leistiną informacijos nutekėjimą.
- Vienodo ilgio iššūkio pranešimai neleidžia jų trivialiai atskirti pagal ilgį; konfidencialumas neįrodo autentiškumo.
Šaltiniai · 1
Š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. 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-encryption-ind-cpa
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas