APA Style

Siswantyo, S. et al (2024). Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif (--). Bogor: Politeknik Siber dan Sandi Negara.

MLA Style

Siswantyo, Sepha. et al. "Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif". -- Bogor: Politeknik Siber dan Sandi Negara, 2024. Text.