Parašų saugumas ir viešas tikrinimas
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
EUF-CMA parašų saugumo eksperimente priešininkui suteikiamas viešasis tikrinimo raktas ir pasirašymo orakulas, tada tikrinama, ar jis gali sukurti galiojantį anksčiau nepasirašyto pranešimo parašą.
Esminės žinios
EUF-CMA parašų saugumo eksperimente priešininkui suteikiamas viešasis tikrinimo raktas ir pasirašymo orakulas, tada tikrinama, ar jis gali sukurti galiojantį anksčiau nepasirašyto pranešimo parašą. Stiprus nepadirbamumas taiko griežtesnį pranešimo ir parašo poros kriterijų. Tai susiję su kriptografiniu galiojimu, o ne su pasirašyto teiginio tiesa, rakto savininko ketinimu atlikti veiksmą ar tuo, ar pažeista pasirašymo programinė įranga pasirinko tinkamą pranešimą.
Sąlygos ir taikymo ribos
- Fiksuokite raktų generavimą, parašo kodavimą, pranešimo ir konteksto domeną bei atakos išteklius.
- Viešojo rakto autentiškumo patvirtinimas, slaptojo rakto apsauga ir programos veiksmų autorizavimas išlieka atskirais reikalavimais.
Š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–5: ML-DSA/SIS-LWE prielaidos, saugumo kategorijos, lentelė 2, hedged ir deterministinio pasirašymo bei išankstinės maišos ir konteksto skirtumai. 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-signatures-euf-cma
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas