Xavfsizlik parametri - Security parameter

Yilda kriptografiya, a xavfsizlik parametri bu qanchalik qiyinligini o'lchash usuli dushman kriptografik sxemani buzish. Xavfsizlik parametrlarining ikkita asosiy turi mavjud: hisoblash va statistik, ko'pincha tomonidan belgilanadi va navbati bilan. Taxminan aytganda, hisoblashning xavfsizlik parametri - bu kirish kattaligi uchun o'lchovdir hisoblash muammosi kriptografik sxema asoslanib, uning hisoblash murakkabligini belgilaydi, statistik xavfsizlik parametri esa ehtimollik o'lchovidir. dushman sxemani buzishi mumkin (protokol uchun nimani anglatishini).

Xavfsizlik parametrlari odatda quyidagicha ifodalanadi yagona vakolatxona - ya'ni ning qatori sifatida ifodalanadi lar, , an'anaviy ravishda yozilgan - shunday qilib vaqtning murakkabligi kriptografik algoritm polinom kirish hajmida.

Hisoblash xavfsizligi

Kriptografik ibtidoiylarning xavfsizligi ba'zilarning qattiqligiga bog'liq qiyin muammo. Ulardan biri hisoblash xavfsizligi parametrini o'rnatadi shu kabi hisoblash ko'rib chiqiladi oson emas.

Misollar

  • Agar sxemaning xavfsizligi a uchun kalitning maxfiyligiga bog'liq bo'lsa pseudorandom funktsiyasi (PRF), keyin biz PRF tugmachasini bo'sh joydan olish kerakligini belgilashimiz mumkin shunday qilib a qo'pol kuch bilan qidirish talab qiladi hisoblash kuchi.
  • In RSA kriptosistemasi, xavfsizlik parametri uzunligini modulning bitlarida bildiradi n; musbat tamsayı n shuning uchun {0,…, 2 to'plamdagi raqam bo'lishi kerak - 1}.

Statistik xavfsizlik

Kriptografiyada xavfsizlik ko'pincha shunga bog'liq statistik masofa o'rtasida

  • maxfiy ravishda taqsimlangan va
  • a taqlid qilingan sirni bilmaydigan korxona tomonidan ishlab chiqarilgan tarqatish

kichik. Biz buni tarqatishning statistik parametridan foydalangan holda rasmiylashtiramiz statistik jihatdan yaqin agar taqsimotlar orasidagi statistik masofani a shaklida ifodalash mumkin bo'lsa ahamiyatsiz funktsiya xavfsizlik parametrida. Ulardan biri statistik xavfsizlik parametrini o'rnatadi shu kabi raqibning g'alaba qozonishining "etarlicha kichik" imkoniyati deb hisoblanadi.

Raqiblarning berilgan kriptografik sxema bo'yicha hujumining quyidagi ikkita keng toifasini ko'rib chiqing: dushman maxfiy ma'lumotlarni o'rganishga urinishlar va dushman halol tomonni yolg'on bayonotni haqiqat deb qabul qilishiga ishontirishga harakat qiladigan hujumlar (yoki aksincha). ). Birinchi holda, masalan, a ochiq kalitda shifrlash sxemasi, raqib maxfiy ma'lumotlarni o'rganishga urinishi mumkin bo'lgan katta miqdordagi ma'lumotni olish imkoniyatiga ega bo'lishi mumkin, masalan. turli xil tasodifiy ostida shifrlangan sobit matn uchun shifrlangan matnlarning taqsimlanishini o'rganish orqali. Ikkinchi holatda, raqib biror bir sirni yoki sirni taxmin qilishi kerak bo'lishi mumkin va buni aniq bir ehtimollik bilan amalga oshirishi mumkin; bu erda biz protokoldagi muammolarni tanlash algoritmini ko'rib chiqish orqali tarqatish haqida gaplashishimiz mumkin. Yilda ikkalasi ham holatlarda, biz raqibning "g'alaba qozonish" imkoniyati to'g'risida erkin ma'noda gaplasha olamiz va birinchi holda taqsimotlarni statistik jihatdan yaqin bo'lishini talab qilish yoki statistik xavfsizlik parametrlariga bog'liq bo'lgan qiyinchilik maydonini aniqlash orqali statistik xavfsizlikni parametrlashimiz mumkin. ikkinchi holat.

Misollar

  • Yilda shifrlash sxemalari, xavfsizlikning bir jihati (yuqori darajada) shifrlangan matn berilgan oddiy matn haqida bilib olinadigan har qanday narsani tasodifiy tanlangan (shifrlangan matn bilan bir xil uzunlikdagi) mag'lubiyatdan ham bilib olish mumkin. Rasmiy ravishda, belgilangan uzunlikdagi qatorlar to'plamidagi bir tekis taqsimot statistik jihatdan barcha mumkin bo'lgan shifrlangan matnlar oralig'idagi yagona taqsimotga yaqin ekanligini ko'rsatish kerak bo'ladi.
  • Yilda nol bilim protokollar, biz statistik xavfsizlik parametrlarini qo'shimcha ravishda ajratishimiz mumkin nol bilim va mustahkamlik statistik xavfsizlik parametrlari. Birinchisi, transkripsiyada maxfiy bilimlar haqida nima aniqlanganini, ikkinchisi esa insofsiz prover halol tekshiruvchini bilmasa ham sirni bilishiga ishontirish imkoniyatini belgilaydi.
  • Yilda universal kompozitsion, protokol xavfsizligi real dunyo taqsimotining statistik va ajratib bo'lmaydiganligiga va ideal dunyo ijroiga bog'liq. Qizig'i shundaki, a hisoblashda cheksiz atrof-muhit taqsimotlarni statistik jihatdan ajratib bo'lmaydigan bo'lishi etarli emas, chunki atrof-muhit qaysi taqsimot ishlab chiqarilishini (haqiqiy yoki ideal) kuzatish uchun tajribani etarlicha marta o'tkazishi mumkin; ammo, protokolga qarshi bo'lgan har qanday mustaqil dushman faqat statistik xavfsizlik parametrida juda katta ehtimollik bilan g'alaba qozonadi, chunki u protokolga faqat bir marta kiradi.

Shuningdek qarang