Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 3 dokumen yang sesuai dengan query
cover
Sibarani, Evita Marlinang, author
Formalisasi dan verifikasi protokol komunikasi
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26978
UI - Skripsi (Membership)  Universitas Indonesia Library
cover
Muhamad Al Fikri, author
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
Di era saat ini, kepemilikan terhadap informasi strategis dan kemampuan untuk mengelola informasi tersebut secara efektif telah menjadi suatu keunggulan yang signifikan. Berkaca dari pengalaman mengenai serangan terhadap komunikasi strategis di Indonesia diantaranya penyadapan percakapan Presiden Susilo Bambang Yudhoyono melalui jaringan Selular dan penyadapan rumah dinas Presiden Jokowi, kemudian Indonesia...
Depok: Fakultas Teknik Universitas Indonesia, 2020
T-Pdf
UI - Tesis (Membership)  Universitas Indonesia Library
cover
Nur Hayati, author
Pengembangan Skema Baru Cryptographic Key Update untuk Meningkatkan Keamanan Protokol Long Range Wide Area Network (LoRaWAN) = The Development of New Cryptographic Key Updating Schemes to Improve the Security of Long Range Wide Area Network (LoRaWAN) Protocol
Long-range wide area network (LoRaWAN) memiliki kelemahan dalam hal manajemen kunci kriptografinya, yaitu root key dan session key. Root key LoRaWAN tidak pernah berubah sepanjang masa pakai perangkat, sedangkan session key digunakan untuk mengamankan beberapa sesi komunikasi. Kelemahan tersebut membahayakan keamanan LoRaWAN. Oleh karena itu, penelitian ini mengusulkan skema baru...
Depok: Fakultas Teknik Universitas Indonesia, 2022
D-pdf
UI - Disertasi (Membership)  Universitas Indonesia Library