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