“Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool”, JTIIK, vol. 6, no. 1, pp. 107–112, Jan. 2019, doi: 10.25126/jtiik.2019611303.