Sahifa 1 Shifrlangan ma'lumotlarni qidirishning amaliy usullari

Teorema A.5. Faraz qilaylik, ¤ ¤ bir emas ( EUV 4 § XW ¥ ) -secure pseudoran-

dom Permütasyon, u bir emas ( EUV 4 § XWx ) -secure pseudorandom

funktsiyasi, bu ( EUV 4 § XW 2 ) - xavfsiz pseudorandom funktsiyasi, I

bir emas ( 8UV † W ¥ R ) -secure pseudorandom generator, va biz tanlash

kalitlar

£ B

kabi

£ B

) ( ¤ ¢

B ) qaerda ¢

B

) © ¥ ¦ ( "¤ && ( ¡B ))) .

Keyin  

a bo'ladi ( EUA

T

XW 3 ) - xavfsiz pseudorandom gener-

ator , bu erda W 3 ) bVDW ¥ x XW % 2 XW ¥ RX ( A £ ) ¤ ( -1 1 ) .

Bundan tashqari, agar biz uni oshkor qilsak

£ B

va loyihani ko'rib chiqing

qismi  

Biz barcha ezilgan tashlamoq qaerda lavozim S qaerda

R

)

B

, keyin biz ( 8UAAT XW) olamiz

(

3 ) - xavfsiz pseudoran-

dom generator, bu erda V

(

3 ) p W 43 XW ¥ X ¤1 1 .

Isbot. A.4 teoremasini isbotlashda qo'llaniladigan usullar

to'g'ridan-to'g'ri murojaat qiling (o'rniga

B

"s bilan ¢

B

va) mumkin

buni osonlikcha ko'ring  

bir emas ( EUAUT † W 43 ) -secure pseudorandom

generator.

Endi oshkor qilaylik

£ B

. E hodisani bildirsin

Ba'zi mavjud S bilan

¡R 0

)

B

lekin ¢

R

) ¢

B

. Biz mumkin

kuzatib 3C5D7 E

9

© W ¥ X ¤1 1 . £ ga ruxsat bering

(

tarqatish bo'lishi

£ lavozim barcha kalitlari yuz loyihalash tomonidan tahrirlangan S qaerda

R

)

B

. £ ga e'tibor bering

(

kalitning taqsimlanishini anglatadi

ning taxmin qilingan versiyasi uchun material   . Shuningdek, agar

voqea E ga bag'ishlangan, tarqatish £

(

"taxminan" ga ega

A.4 teoremasini isbotlashda ishlatiladigan twining xususiyatiga taqlid qilish,

va shu bilan natijalar prognoz qilingan versiyasiga taalluqlidir   .

Istalgan natija quyidagicha bo'ladi.