Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

A va T o'rtasidagi aloqa (Elis o'z kodini terminalda yozganda), T va C o'rtasidagi (qachon

Terminal kartaga kodni yuboradi) va qachon karta ok yakuniy xabarni yuboradi). Himoyalanganlar

kanallar yangi simmetrik kalitlar yordamida ushbu xabarlarni shifrlashdan foydalangan holda HLPSL ga kodlanadi,

agentlar o'rtasida taqsimlanadi.

• Diffie.cas CAS+ da Diffie-Hellman protokolining kodlanishini (ko'rsatkichga tayangan holda) ko'rish uchun.

6 Virtual va xost OT o'rtasidagi umumiy jildni sozlash uchun Mehmon OS (Ubuntu va SPAN bilan) va asosiy operatsion tizimingiz o'rtasida umumiy jildga ega bo'lishni istasangiz, siz quyidagilarni qilish kerak: VirtualBox ilovasida virtual mashina nomini bosing, so'ng ustiga bosing. \Konfiguratsiya", keyin \Shared papkalar", keyin yo'lga bog'langan sizning asosiy operatsion tizimingizda doimiy virtual umumiy jildni qo'shing

. Siz operatsion tizimingizda yo'lni tanlashingiz mumkin va VirtualBox virtual jild uchun nom tanlaydi. Mayli

biz ushbu virtual jildni myVirtualFolder nomi bilan belgilaymiz. Avtomatik o'rnatish variantini tekshirishni boshlang

Ubuntu virtual mashinasi boshlang. Ubuntu ishga tushirilganda, ubuntu menyusini bosing (eng yuqori chap burchak),

\Aksessuarlar", keyin \Terminal" tanlang. Terminal oynasida quyidagilarni yozing:

bu erda myVirtualFolder-ni yuqorida qayd etgan virtual jild nomi bilan almashtirishingiz kerak. Agar sizdan so'ralsa

parol uchun SPAN hisobi uchun parolni berish kifoya: span. Endi VBoxShared papkasi ish stoli siz tanlagan yo'l bilan bog'lanishi kerak.

7 Oldinga borish.

Ko'proq HLPSL va CAS+ spetsifikatsiyalari testsuite papkasida mavjud.

8 Tez-tez so'raladigan savollar:

• "Protokol simulyatsiyasi" da HLPSL ning jim o'tishlarini ko'rish mumkinmi? javob yo'q.

• Agar \Kiruvchi voqealar ro'yxatida hech qanday hodisa mavjud bo'lmasa, men qanday qilib tasavvurga ega bo'lishim mumkin?

yuborilgan xabar? Buzg'unchiga hech bo'lmaganda xabar yuborish uchun \Intruder simulation" dan foydalanishingiz mumkin. Keyin muammo nimada ekanligini taxmin qilishingiz mumkin. Agar tajovuzkorga yuboriladigan xabarlar bo'lmasa, bu shuni anglatadiki, bu

muammo jo'natuvchining rolida.

• Men o'zgaruvchan monitoringni yoqdim, lekin \pushti to'rtburchakni ko'rmayapman, nima bo'lyapti

noto'g'ri? Pushti to'rtburchak ko'rinishi uchun simulyatsiyada kamida bitta yuborilgan xabar bo'lishi kerak.

Agar xabar yuborishning iloji bo'lmasa (\Kiruvchi voqealar ro'yxatida xabarlar yo'q), javobni ko'ring

Buni tuzatish uchun oldingi savol.