APA Style

Muhammad, E, A, M., Yulianti, N. (2024). Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif . Bogor: Politeknik Siber dan Sandi Negara.

MLA Style

Muhammad, Erza, Adira, Mahatir., Yulianti, Nia. "Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif". Bogor: Politeknik Siber dan Sandi Negara, 2024. Text.