Verifikasi formal protokol otentikasi dan komunikasi suara perangkat X menggunakan Scyther Tool = Formal verification of the authentication and voice communication protocol security on device X using Scyther Tool - Muhamad Al Fikri, author (Fakultas Teknik Universitas Indonesia, 2020)