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



Yüklə 324,46 Kb.
səhifə13/15
tarix17.06.2023
ölçüsü324,46 Kb.
#131874
1   ...   7   8   9   10   11   12   13   14   15
kurs ish

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, PQ) 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

Yüklə 324,46 Kb.

Dostları ilə paylaş:
1   ...   7   8   9   10   11   12   13   14   15




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin