Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

4-rasm: “Hujum simulyatsiyasi” oynasida tajovuzkorlar maʼlumotlari bilan koʻrsatilgan hujum.

Hujumning MSCda (6-rasmga qarang) e'tibor bering, nonce doimiy nonce-1 (ya'ni birinchi hosil qilingan)

hech qachon). Shuni ham yodda tutingki, bu eng qisqa hujum emas, balki tekshirish vositalari tomonidan topilgan eng qisqa hujumdir.

Birinchi xabar A tomonidan tajovuzkorga yuboriladi, u shunchaki uni B ga yo'naltiradi. Hujumni soddalashtirish uchun "Oldingi qadam" tugmasi orqali simulyatsiyaga qaytaolasiz va A tomonidan B ga yuborilgan xabardan boshlaysiz va B tomonidan bosqinchiga yuborilgan xabar bilan tugating.

4. Ko'proq nosozliklarni tuzatish uchun o'zgaruvchan qiymatlarni ko'rsatish

Endi matn muharririda va SPAN da NSPK faylini correct.hlpsl ga oching. Bu mashhur Need ham Schroeder ochiq kalit protokoli.

Ushbu protokol noto'g'ri ekanligi ma'lum. Biroq, agar siz tekshirish vositasini tanlasangiz va \Bajarish" tugmasini bosing spetsifikatsiya xavfsiz ekanligi aytiladi. Agar siz protokol simulyatsiyasini bossangiz, yana \Kiruvchi hodisa yo'qligini mavjudligini ko'rishingiz mumkin. E'tibor bering, simulyatsiyada Alice uchun 2 ta chiziq mavjud, chunki spetsifikatsiyada bitta mavjud Elis va Bob o'rtasidagi va Elis va bosqinchi o'rtasidagi sessiya. Biz simulyatsiya rejimida bo'lganimiz uchun,bosqinchi aniqlanmagan. Protokol spetsifikatsiyasi bajarilmaydi va shuning uchun xavfsiz. Barcha naqshlar uchun xabarlarni yuborish va qabul qilish to'g'ri. Biroq, hech qanday xabar almashish mumkin emas. Endi \Intruderni bosing simulyatsiya". Bu safar ikkita mumkin bo'lgan \Kiruvchi hodisalar" mavjud, ammo protokolni ishga tushirish mumkin emas. Ushbu xabarlardan birini ishga tushiring. Keyin \ O'zgaruvchan monitoring" menyusida elislardan birini tanlang

Yangi oyna ochiladi va siz kuzatmoqchi bo'lgan o'zgaruvchilarni (rolning) tanlashga ruxsat beradi.