Text

Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif

---

Abstrak: Protokol autentikasi Choi et al. merupakan protokol yang dirancang untuk proses autentikasi pada perangkat IoT. Protokol ini dapat diterapkan untuk berbagai bidang yang mengimplementasikan perangkat IoT seperti, kesehatan, transportasi, energi, industri, smart home, dan lain-lain. Berdasarkan klaim oleh Choi et al., protokol ini tahan terhadap berbagai serangan yaitu, eavesdropping attack, replay attack, dan message modification attack. Pernyataan tersebut diklaim berdasarkan analisis informal yang dilakukan oleh Choi et al. Meskipun telah dilakukan analisis informal, tetap dibutuhkan analisis formal untuk memastikan tingkat keamanan yang lebih tinggi melalui ketelitian matematis, mendeteksi potensi kerentanan, dan memberikan bukti-bukti verififkasi terhadap aspek keamanan. Pada penelitian ini dilakukan analisis formal terhadap protokol autentikasi Choi et al. dengan menggunakan ProVerif untuk menguji aspek kerahasiaan dan autentikasi protokol. Pemodelan protokol direpresentasikan menggunakan ProVerif dan hasil verifikasi kemudian dianalisis. Selanjutnya, dibuktikan ketahanan protokol terhadap serangan yang diklaim oleh Choi et al. sesuai dengan hasil analisis formal yang dilakukan menggunakan ProVerif. Hasil analisis formal protokol menggunakan ProVerif menunjukkan bahwa protokol yang diajukan oleh Choi et al. memenuhi aspek keamanan yang diuji yaitu aspek kerahasiaan dan autentikasi, sesuai dengan klaim dari Choi et al.

---

Availability

Detail Information

Series Title

--

Call Number

2024 ERZ a

Publisher

Bogor : Politeknik Siber dan Sandi Negara., 2024

Collation

xvii, 48

Language

Indonesia

ISBN/ISSN

--

Classification

Rekayasa Sistem Kriptografi

Content Type

-

Media Type

-

Carrier Type

-

Edition

--

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Erza Adira Mahatir Muhammad

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment