Abstrakt
Ushbu qisqa qo'llanmaning maqsadi AVISPA kriptografik protokolni tekshirish vositasida ishlatiladigan spetsifikatsiyalar HLPSLni tushunish va disk raskadrovka qilish uchun SPAN dan qanday foydalanishni ko'rsatishdir. O'quvchi HLPSL tili bilan tanish bo'lishi kerak.
SPAN+AVISPA-ni o'rnatish va ishga tushirish
SPAN+AVISPA dasturini http://people.irisa.fr/Thomas.Genet/ saytidan yuklab oling.
Ushbu o'quv qo'llanma VirtualBox ni o'rnatish yordamida amalga oshirildi
Virtual disk SPAN+AVISPA o'rnatish to'liq holda ishlash va tugallash uchun eng oddiy yechimdir.
1.Birinchidan, VirtualBox-ni o'rnating .
Tegishili vosita (Siz foydalanayotgan operatsiyon tizimga qarab) foydalanib ubuntu10.7z faylini oching.
Ikkinchidan VirtualBox ilovasi.
Keyin Fayl> Virtual diskni import qilishni bosing. O'zingiz ochgan faylni tanlang
(ubuntu 10.10 light.ova deb nomlanishi kerak) va Import tugmasini bosing.
2. Birinchi protokol spetsifikatsiyasi va birinchi simulyatsiya
Ubuntu ish stoliga qayting. \Tutorial” jildida exercise0.hlpsl fayliga ikki marta bosing.
Fayl matn muharririda ochiladi.
Do'stlaringiz bilan baham: |