APA Style

Susanti, B, H. et al (2024). Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover (--). Bogor: Politeknik Siber dan Sandi Negara.

MLA Style

Susanti, Bety, Hayat. et al. "Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover". -- Bogor: Politeknik Siber dan Sandi Negara, 2024. Text.