Keterangan Publikasi
| Judul | Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+ |
| Tahun | 2018 |
| Semua Penulis | R Dewoprabowo, M Arzaki, Y Rusmawati |
| Penulis | MZI |
| Jurnal | 2018 International Conference on Advanced Computer Science and Information Systems (ICACSIS) |
| Peringkat Jurnal | |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra |