Text

Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover

---

Abstrak: Proses komunikasi pada smart grid memerlukan adanya interoperabilitas antarperangkat. Protokol kriptografi menjadi unsur yang penting untuk menyediakan interoperabilitas antarperangkat yang aman dalam sistem smart grid. Badar et al. pada tahun 2021 telah mempublikasikan penelitiannya terkait protokol autentikasi berbasis identitas aman untuk berkomunikasi pada smart grid. Protokol autentikasi Badar et al. merupakan protokol yang berbasis pada Physical Unclonable Function dan melibatkan tiga entitas dalam proses komunikasinya, yaitu: sensor, gateway, dan control center. Protokol ini telah dianalisis secara informal oleh Badar et al. dan menunjukkan bahwa memenuhi aspek mutual authentication, serta tahan terhadap cloning and physical attack, desynchronization attack, impersonation attack

---

Availability

Detail Information

Series Title

--

Call Number

2024 SYA a

Publisher

Bogor : Politeknik Siber dan Sandi Negara., 2024

Collation

xv, 55 hlm

Language

Indonesia

ISBN/ISSN

--

Classification

Rekayasa Sistem Kriptografi

Content Type

-

Media Type

-

Carrier Type

-

Edition

--

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Syafrizal Ananta Adhitya

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment