Text

Analisis Formal Protokol MPKE pada Wireless Mesh Network Menggunakan ProVerif

---

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 dan impersonation 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.

---

Availability

Detail Information

Series Title

-

Call Number

2024 TSA a

Publisher

Bogor : Politeknik Siber dan Sandi Negara., 2024

Collation

xvi, 65 hal

Language

Indonesia

ISBN/ISSN

--

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

Computer security
analisis formal
ProVerif
Wireless communication systems
Protokol MPKE

Specific Detail Info

-

Statement of Responsibility

-

Other Information

Link

-

Daftar Isi

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment