Formal Analysis of MPKE Protocol in Wireless Mesh Network Using ProVerif
Year: 2024
Type: conference-paper
Authors: Tsamara Khadijah Silim, Yeni Farida, Nia Yulianti, Sri Rosdiana
Institution: Politeknik Siber dan Sandi Negara
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4409573568
