Text
Analisis Formal Protokol MPKE pada Wireless Mesh Network Menggunakan ProVerif
Abstrak: Protokol MPKE pada Wireless Mesh Network (WMN) merupakan protokol banyak pihak yang menggunakan tiket dalam proses autentikasi. Protokol MPKE dibuat oleh Roy et al. pada tahun 2022 yang ditujukan untuk proses autentikasi pada saat handover dari Home Mesh Access Point (HMAP) ke Foreign Mesh Access Point (FMAP). Protokol ini dapat diterapkan pada perangkat yang terhubung ke dalam suatu jaringan rumah atau jaringan komunitas dan lingkungan. Protokol ini diklaim oleh Roy et al. memenuhi aspek kerahasiaan dan mutual autentikasi. Pernyataan ini dijelaskan secara informal, sehingga klaim keamanan belum dapat dipastikan secara formal. Dibutuhkan analisis formal untuk dapat memverifikasi klaim secara objektif berdasarkan alat analisis otomatis. Selain untuk memverifikasi klaim keamanan, analisis formal juga dapat digunakan untuk membuktikan kerentanan yang ada pada protokol. Pada penelitian ini digunakan ProVerif yang merupakan alat analisis formal dengan metode simbolik untuk membuktikan klaim. ProVerif dapat memodelkan protokol MPKE Roy et al. dengan baik dengan klaim keamanan aspek mutual autentikasi terpenuhi, namun klaim keamanan kerahasiaan pesan tidak terpenuhi. Hal ini menyebabkan adanya kemungkinan serangan yaitu man in the middle attack, impersonation attack, dan replay attack. Oleh karena itu, dibuat skema perbaikan dengan adanya penambahan fungsi tanda tangan digital untuk proses autentikasi pada fase pertukaran kunci protokol MPKE. Pada penelitian ini juga dilakukan verifikasi menggunakan ProVerif terhadap skema perbaikan dan terbukti dapat memperbaiki kerentanan yang ada pada protokol MPKE.
No copy data
No other version available