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
No copy data
No other version available