Kuchli maxfiylik - Strong secrecy

Kuchli maxfiylik ichida ishlatiladigan atama rasmiy dalil asoslangan kriptografiya xavfsizligi to'g'risida takliflar bildirish uchun kriptografik protokollar. Bu sintaktik (yoki zaif) maxfiylikdan ko'ra xavfsizlik tushunchasi. Kuchli maxfiylik tushunchasi bilan bog'liq semantik xavfsizlik yoki ajratib bo'lmaydiganlik hisoblash daliliga asoslangan yondashuvda ishlatiladi. Bruno Blanchet kuchli maxfiylik uchun quyidagi ta'rifni beradi:

Kuchli maxfiylik shuni anglatadiki, sirning qiymati o'zgarganda, dushman hech qanday farqni ko'ra olmaydi[1]

Masalan, agar jarayon xabarni shifrlasa m tajovuzkor turli xil xabarlarni ajrata oladi, chunki ular shifrlangan matnlar boshqacha bo'ladi. Shunday qilib m kuchli sir emas. Agar shunday bo'lsa, ehtimoliy shifrlash ishlatilgan, m kuchli sir bo'lar edi. Shifrlashga kiritilgan tasodifiylik algoritm ning bir xil qiymati uchun har xil shifrlangan matnlar hosil bo'ladi m.

Shuningdek qarang

Izohlar

  1. ^ Blanchet, B. (2004) Xavfsizlik protokollari uchun kuchli maxfiylikning avtomatik isboti. Xavfsizlik va maxfiylik bo'yicha IEEE simpoziumi jarayonida, 86-100 bet. https://www.di.ens.fr/~blanchet/publications/BlanchetOakland04.html