APA Style

Iriana, A, P. et al (2021). Analisis formal protokol autentikasi Kang et al. menggunakan Tamarin-Prover (--). Bogor: Poltek SSN.

MLA Style

Iriana, Alsita, Putri. et al. "Analisis formal protokol autentikasi Kang et al. menggunakan Tamarin-Prover". -- Bogor: Poltek SSN, 2021. Text.