Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

a tomonidan ijro etiladi va xabar m2 ga teng. HLPSL faylini saqlang. SPAN tahrirlash oynasiga qayting va bosing.

Yordamida nashr oynasini yangilash uchun \ HLPSL-ni ko'rish" tugmasini bosing matn muharriri. Endi \Protocol simulation" tugmasini bosing. Yangi simulyatsiya oynasi ochiladi.

Ikki xil seansga va ikki xil kiruvchi hodisaga mos keladigan 4 ta vertikal chiziqli MSC. Siz birinchi hodisani, keyin ikkinchisini yoki aksincha bosish orqali ikkita turli MSC qurish mumkin (qarang 5-rasm)

3.HLPSL nosozliklarini tuzatish

Endi biz SPAN sizning HLPSL spetsifikatsiyalaringizni disk raskadrovka qilishda qanday yordam berishi mumkinligini ko'rib chiqamiz. Matn muharririda oching exercise1.hlpsl fayli. Ushbu spetsifikatsiya quyidagi protokolni tavsiflaydi:

Bu erda NA - A tomonidan yaratilgan bo'lmagan kalit va KAB - A va B tomonidan ma'lum bo'lgan simmetrik kalit protokol.

Ushbu protokolda NA aniq sir emas: B uni A ga aniq yuborgandan so'ng, tajovuzkor uni o'qiy oladi.