Fan nomi: Axborot xavfsizligi protokollari

A ishonadi kalit (K_as, A↔S) S ishonadi kalit (K_as, A↔S) B ishonadi kalit (K_bs, B↔S) S ishonadi kalit (K_bs, B↔S)
A ishtirokchi V ishtirokchi bilan himoyalangan yozishmalar olib bormoqchi. Buning uchun u K_as kalitni generasiya qiladi. A ishtirokchi bu kalitni
o‘zi generasiyalagani uchun xavfsiz deb biladi, ya’ni: A
kalit (K_as, A↔S) ga ishonadi.
B ishtirokchi bu kalitning A ishtirokchidan kelganiga ishonar ekan, bu kalitdan foydalanishga tayyor, ya’ni: B ishtirokchi (A ishtirokchining ishonchli kalit (K, A↔B)ga) ishonadi.
Bundan tashqari, V ishtirokchi S ni A ishtirokchining kalitini xatosiz uzatishiga ham ishonishga tayyor, ya’ni: V ishtirokchi (S ishonchli (A ishtirokchining ishonchli kaliti (K, A↔B))) ishonadi.
Bu degani, V ishtirokchi S ning A ishtirokchini V ishtirokchi bilan aloqa qilishi uchun o‘zining kalitidan foydalanishni hohlashiga ishonishi, S ga ishonishi va unga suyana olishiga ishonishi kerak.
A ishtirokchi soatdan joriy vaqt t ni oladi, so‘ngra quyidagi xabarni yuboradi: 1 A->S: {t, kalit (K_ab, A↔B)}K_as.
Bu shunday deganiki, A ishtirokchi seans kalitini va joriy vaqtni S serverda o‘zining autentifikasiyalash kaliti bo‘lgan K_as bilan shifrlab, S serverga yuboradi. S yangi (t) ga ishonishi bilan, va S (A {t, kalit (K_ab, A↔B)} deganiga) ishonadi, S A ishtirokchining kalit (K_ab, A↔B) ga ishonishiga ishonadi. (Shuningdek, S xabarni hujum qiluvchi tomonning avval tutib olgan xabarni qayta yuborilgani emasligiga ishonadi). So‘ngra, S V ishtirokchiga kalit yuboradi 2 S->B: {t, A, A ishonchli kalit (K_ab, A↔B)}K_bs. 2 xabar K_bs kaliti bilan shifrlangani uchun V ishtirokchi ham kalit (K_bs, B↔S) ga ishonadi, endi B ishtirokchi S {t, A, A ishonadi kalit (K_ab, A↔B)}deganiga ishonadi. Vaqt sinxronlashtirilgani uchun B ishtirokchi yangi (t) ga ishonadi, va demak, yangi (A ishonadi kalit (K_ab, A↔B)) ga ishonadi. B ishtirokchi S ning tasdiqlari yangiligiga ishonishi, B ishtirokchi S ning (A ishonadi kalit (K_ab, A↔B)) ga ishonishiga ishonadi. V ishtirokchi S ni A ishtirokchining nimaga ishonishini bilishiga ishongani uchun V ishtirokchi (A ishonadi kalit (K_ab, A↔B)) ga ishonadi. V ishtirokchi A ishtirokchining V va A ishtirokchilar orasidagi seans kaliti haqida bilishiga ishongani uchun, V ishtirokchi kalit (K_ab,
A↔B) ga ishonadi. Endi V ishtirokchi A ishtirokchi bilan K_ab dan maxfiy seans kaliti sifatida foydalanib to‘g‘ridan to‘g‘ri aloqada bo‘lishi mumkin.