Pardede, D. Lucia Crispina, Gunadarma University, Indonesia

• 2012 - Articles
  ANALISIS DAN VERIFIKASI FORMAL PROTOKOL NON-REPUDIASI ZHANG-SHI DENGAN LOGIKA SVO-CP
  Abstract  full paper