|
Repository Universitas Gunadarma >
Published Article >
Published Article Komputer >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/2377
|
| Title: | Analisis Kelemahan dan Perbaikan Protokol Otentikasi ISP X |
| Authors: | Wati, Sutresna
Tarigan, Avinanta |
| Keywords: | BAN Logic
Protokol Autentikasi
Replay Attack |
| Issue Date: | 24-Nov-2010 |
| Publisher: | Universitas Gunadarma |
| Series/Report no.: | Proceeding Seminar Ilmiah Nasional KOMMIT 2010;66 |
| 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 ISP X
yang digunakan oleh ISP X penyedia layanan internet
pasca bayar dengan menggunakan metode formal BAN
logic. Walaupun teknik kriptografi digunakan, hasil verifikasi
menunjukan bahwa protokol autentikasi ISP X tidak
dapat menjamin identitas entitas yang saling berkomunikasi
merupakan identitas entitas asli, sehingga protokol
autentikasi ISP X tidak aman untuk digunakan. Dengan
demikian diperlukan pengembangan perbaikan protokol
autentikasi ISP X dan diperlukan analisis dengan menggunakan
BAN logic untuk menganalisis kembali protokol
hasil pengembangan untuk menunjukkan bahwa protokol
autentikasi ISP X yang baru aman untuk digunakan. |
| URI: | http://hdl.handle.net/123456789/2377 |
| ISSN: | 1411-6286 |
| Appears in Collections: | Published Article Komputer
|
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
|
