Formalisasi dan verifikasi protokol komunikasi

Secure end-to-end encryption protokol komunikasi IoT dengan kriptografi lightweight berbasis block cipher = A novel secure end-to-end encryption scheme on IoT communication protocol with lightweight cryptography based on block cipher

Tinjauan hukum asuransi terhadap risiko transaksi perdagangan melalui internet yang menggunakan protokol Secure Electronic Transaction (SET)

Verifikasi protokol otentitikasi horn-preneel menggunakan AVISPA (automated validation of internet security protocols and applications)

Implementasi dan unjuk kerja mekanisme autentikasi dengan metode LDAP : Studi kasus aplikasi web server sipeg.ui.ac.id