Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги мирзо улуғбек номидаги ўзбекистон миллий университети математика факультети «Математик моделлаштириш ва криптоанализ»

§6.5. Bir raundli tekshirishga asoslangan protokol.
Ayrim hollarda protokolda bajariladigan hisoblashlarni aloqa kanali bo’yicha himoyalashni imkoni bo’lmagan hollarda bir raundli tekshirishga asoslangan protokoldan foydalanish mumkin. Bunda bir necha bosqichdan iborat tayyorgarlik ishlari amalga oshirilgandan so’ng, isbot qiluvchi abonent bir raundli tekshirishga asoslangan protokolda qandaydir sirni bilishini nol oshkoralik bilan isbotlashi mumkin.
Ushbu protokolda isbot qiluvchi abonent vazifasini Alisa bajaradi, tekshiruvchi sifatida Bob ishtirok etadi.

1. 
   Alisa va Bob va tasodifiy sonlarini birgalikda hosil qilishadi.
   
2. 
   Alisa munosabatdan foydalanib, bir martalik ochiq va yopiq kalitlarni shakllantiradi. Bu kalitlarni u har xil shifrlash kalitlaridan foydalanib ( va kalitlardan birortasi oshkor bo’lib qolsa, ikkinchisi aniqlanmasligi uchun), shifrlaydi. Bu shifrmatnlarni turli tashuvchilarda saqlaydi. Undan so’ng u va sonlarni hisoblaydi.
   
3. 
   Alisa va sonlar jo’ftligini Bobga taqdim qiladi. Bob esa tasodifiy bitni tanlaydi va uni Alisaga taqdim qiladi.
   
4. 
   Agar bo’lsa, Alisa ning qiymatini, agar bo’lsa ning qiymatini Bobga taqdim qiladi.
   
5. 
   Agar bo’lsa, Bob va munosabatlarni bajarilishini tekshirib ko’radi. Agar bo’lsa, Bob va munosabatlarni bajarilishini tekshirib ko’radi.
   

Agar ko’rsatilgan munosabatlar o’rinli bo’lsa, Alisa sonini ko’paytuvchilarga yoyishni bilishini isbotini Bob qabul qiladi.
Ushbu protokolni biror sirni bilishni masofadan turib, isbotlashga qo’llash mumkin. Bu holda tasodifiy sonlar telefon orqali ikki tomonning ishtirokida birgalikda hosil qilinadi.
Bu protokolning yutug’i Shundaki, bunda tekshirish uchun ko’p sondagi raundlar talab etilmaydi. Bu esa protokolni amaliyotga qo’llashni soddalashtiradi.