Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

Ka, Kb, Na, Nb ni tanlang va \OK" tugmasini bosing. Endi (alice,3) ko'k chizig'ida kichik pushti to'rtburchak paydo bo'ldi.

E'tibor bering, pushti to'rtburchak paydo bo'lishi uchun simulyatsiyada kamida bitta yuborilgan xabar bo'lishi kerak. O'zgaruvchilar qiymatlarini ko'rsatish/yashirish uchun ushbu to'rtburchakni bosing. Ko'rsatilgan qiymatlar o'zgaruvchilarning xabarni yuborish/qabul qilishdan oldingi qiymatlaridir. (bob,4) uchun bir xil o'zgaruvchan monitoringni bajaring va ko’k chiziqdagi pushti to’rtburchak ustiga bosing. 8-rasmdagiga o’xshash narsani oling.

5-rasm: Ikki seans bilan bir xil protokol uchun olingan mumkin bo'lgan MSClardan biri.

6-rasm: tekshirish vositalari tomonidan topilgan hujum

7-rasm: keraksiz xabarlar qo'lda olib tashlangan bir xil hujum.

8-rasm: O'zgaruvchilar monitoringi va o'zgaruvchilarni ko'rsatish/yashirish uchun bosiladigan pushti to'rtburchak.

O'zgaruvchilar qiymatlarini sinchkovlik bilan tekshirish orqali siz rol Bobda: Ka o'zgaruvchisi Kb qiymatiga ega va aksincha almashtirilgan Ka va Kb tugmachalarining qiymatini ko'rishingiz mumkin.

Matn muharriridagi spetsifikatsiyaga qayting.

Bob rolining sarlavhasi quyidagicha ko'rinadi:

va sessiya ta'rifida rol bob (A, B, Ka, Kb, SB, RB) bilan chaqiriladi, shuning uchun o'zgaruvchiga bog'langan kalit Sessiyadagi Ka roldagi Kb nomi ostida ishlatiladi. Buni tuzatish uchun oddiygina Ka va tartibini Bob rolining sarlavhasidagi Kbga almashtiring. U nihoyat quyidagi shaklda bo'lishi kerak:

Uni saqlang va SPAN asosiy oynasida \HLPSL-ni ko'rish" tugmasini bosing. \Protokol simulyatsiyasi" ni bosing. Endi esa protokoli oxirigacha bajarilishi mumkin: uchta xabar yuborilishi va qabul qilinishi mumkin. MSC ni kuzatishingiz kerak

9-rasm. E'tibor bering, agar siz ushbu xabarlarni protokol spetsifikatsiyasi bilan bog'lashda qiynalsangiz, turli vizualizatsiya rejimlari o'rtasida almashish uchun bu mumkin.

"Rejimlar" menyusida, masalan, qatiy o’rindagi jo'natuvchini ko'rish elementini tanlang. Bu HLPSL spetsifikatsiyasida ishlatilgan naqsh yordamida o'qlarni qayta etiketlaydi. Endi, SPAN oynasida tekshirish vositasini tanlang va bajarish tugmasini bosing. Protokol spetsifikatsiyasi endi xavfsiz emas

va NSPK-ga klassik hujumni \Hujum simulyatsiyasi" tugmasini bosish orqali yaxshi ko'rsatish mumkin.