APA Style

Iriana, A, P. et al (2021). Analisis formal protokol autentikasi Kang et al. menggunakan Tamarin-Prover (--). Bogor: Politeknik Siber dan Sandi Negara.

MLA Style

Iriana, Alsita, Putri. et al. "Analisis formal protokol autentikasi Kang et al. menggunakan Tamarin-Prover". -- Bogor: Politeknik Siber dan Sandi Negara, 2021. Text.