Verifikasi formal protokol otentikasi dan komunikasi suara perangkat X menggunakan Scyther Tool = Formal verification of the authentication and voice communication protocol securit...

oleh Muhamad Al Fikri, author, Add author: Kalamullah Ramli, author, Add author: Muhammad Salman, examiner, Add author: Yohan Suryanto, examiner, Add author: Ruki Harwahyu, examiner
Terbitan: Fakultas Teknik Universitas Indonesia, 2020