Vuzlit ru рефераты, курсовые, дипломные

7	DASS protokoli
V ishtirokchi ERIni tekshirish imkoniga ega bo‘lmaydi Tomonlar o‘rtasida o‘zaro identifikasiya ta’minlanmaydi
8	Vu – Lama protokoli	A ishtirokchi arbitrni identifikasiya qilmaydi Ishtirokchilar bir-birini identifikasiya qilmaydilar
9	Denning – Sakko protokoli	Protokol yakunlangandan so‘ng V ishtirokchi boshqa S ishtirokchi bilan aloqa o‘rnatishi uchun A ishtirokchining nomidan ish ko‘rishi mumkin

Bu ta’riflarning mohiyatini quyidagi mantiqiy ifodalardan tushunish

mumkin: Agar R kalit (K, P↔Q) ga ishonsa, va R {X}K ni ko‘radi, u holda R (Q X
deganiga) ishonadi. Agar R (Q X deganiga) va yangi (X) ga ishonsa, u holda (Q X
ga ishonishiga) ishonadi. Bunda R X ning yangiligiga ishonishi lozim, aks holda X
eski xabar bo‘lib, hujum qiluvchi tomonidan qayta yuborilgan bo‘ladi.
Agar R (Q ni X da haqqi borligiga) ishonsa va R (Q X ga ishonishiga)
ishonsa, u holda R X ga ishonadi. Shuningdek, xabarlar kompozisiyasi bilan
ishlash uchun foydalaniladigan yana bir qancha texnik tasdiqlar mavjud. Masalan,
agar P Q ning <X, Y> (X va Y ning konkatensiyasi)ga ishonsa, u holda R Q X
deganiga va Q Y deganiga ishonadi. Ushbu belgilashlardan foydalanib,
autentifikasiyalash protokollari tavsifini shakllantirish mumkin. Shuningdek bu
tasdiqlar yordamida, mazkur mijozlar aloqa uchun berilgan kalitlardan
foydalanishga ishonishini tekshirish mumkin.
Quyida BAN-mantiq yordamida “Qurbaqa protokolining” tahlili keltiriladi