Analisis protokol PAuth menggunakan Tamarin Prover

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Text

Analisis protokol PAuth menggunakan Tamarin Prover

Muhammad Zidni Hakami - Personal Name; Yeni Farida - Personal Name; Sepha Siswantyo - Personal Name; Annisa Dini Handayani - Personal Name;

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

No copy data

Detail Information

Series Title: -
Call Number: 2021 MUH a
Publisher: Bogor : Poltek SSN., 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

No other version available

File Attachment

No Data

Comments

You must be logged in to post a comment