Verifikasi Formal dan Perbaikan Protocol Autentikasi XYZ dengan BAN Logic

Abstract

Protokol autentikasi digunakan oleh suatu sistem untuk membuktikan identitas entitas yang berkomunikasi didalamnya. Banyak metode formal yang telah digunakan untuk menganalisis protokol autentikasi. Paper ini akan membahas verifikasi formal protokol autentikasi XYZ yang digunakan oleh ISP XYZ penyedia layanan internet pasca bayar dengan menggunakan metode formal BAN logic. Walaupun teknik kriptografi digunakan, hasil verifikasi menunjukan bahwa protokol autentikasi XYZ tidak dapat menjamin identitas entitas yang saling berkomunikasi merupakan identitas entitas asli, sehingga protokol autentikasi XYZ tidak aman untuk digunakan. Dengan demikian diperlukan pengembangan perbaikan protokol autentikasi XYZ dan diperlukan analisis dengan menggunakan BAN logic untuk menganalisis kembali protokol hasil pengembangan untuk menunjukkan bahwa protokol autentikasi XYZ yang baru aman untuk digunakan