Text

Analisis protokol PAuth menggunakan Tamarin Prover

---

Smart grid adalah jaringan listrik pintar yang mampu mengintegrasikan aksi atau kegiatan dari semua pengguna, mulai dari unit pembangkit sampai ke konsumen dengan tujuan agar dapat menyediakan listrik yang aman, efisien, berkelanjutan, dan ekonomis. Pada tahun 2020, Kementerian Energi dan Sumber Daya Mineral Republik Indonesia (ESDM RI) menargetkan telah menerapkan smart grid pada pembangkit listrik, dan peningkatan efisiensi energi. Dengan target yang telah dilakukan kementerian ESDM RI, perlu adanya pengamanan dalam implementasinya. Chen et. al pada tahun 2019 telah mempublikasikan penelitiannya terkait protokol pembangkitan kunci sesi yang aman untuk berkomunikasi pada smart grid bernama PAuth. Protokol PAuth merupakan protokol yang berbasis pada bilinear pairing untuk proses autentikasi dan pembangkitan kuncinya. Adapun supaya protokol ini dapat diterapkan oleh kementerian ESDM RI untuk pengamanan pada smart grid, maka perlu dilakukan analisis pada protokol ini untuk mengetahui kelemahan dari protokol ini. Protokol tersebut sebelumnya sudah dianalisis dengan menggunakan BAN Logic, namun penggunaan BAN Logic untuk verifikasi klaim keamanan suatu protokol dianggap tidak valid dan tidak maksimal. Pada penelitian ini dilakukan analisis keamanan protokol PAuth menggunakan Tamarin Prover yang dapat memverifikasi protokol dengan fungsi bilinear pairing. Pengujian yang dilakukan dalam penelitian ini berdasarkan klaim kerahasiaan dan autentikasi. Hasil yang didapatkan dari Tamarin Prover menunjukkan adanya serangan pada klaim kerahasiaan protokol PAuth. Pada klaim autentikasi yang dilakukan, hasil yang didapatkan yaitu klaim tersebut terbukti benar.

---

Availability

Detail Information

Series Title

-

Call Number

2021 MUH a

Publisher

Bogor : Politeknik Siber dan Sandi Negara., 2021

Collation

xvii, 47 hlm

Language

Indonesia

ISBN/ISSN

--

Classification

--

Content Type

-

Media Type

-

Carrier Type

-

Edition

--

Subject(s)

protokol PAuth
smart grid
Tamarin Prover
verifikasi protokol

Specific Detail Info

-

Statement of Responsibility

Muhammad Zidni Hakami

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment