Layanan journal yang disediakan oleh Perpustakaan Universitas Gunadarma
| Judul Artikel | : | FORMAL ANALYSIS OF AN AUTHENTICATION PROTOCOL FOR UMTS (UNIVERSAL MOBILE TELECOMMUNICATIONS SYSTEM) USING A VISPA |
|---|---|---|
| Judul Terbitan | : | Jurnal Ilmu Komputer dan Informasi |
| ISSN | : | 1979-0732 |
| Bahasa | : | IND |
| Tempat Terbit | : | Depok |
| Tahun | : | 0000 |
| Volume | : | Vol. 1 Issue 2 0000 |
| Penerbit | : | Fakultas Ilmu Komputer Universitas Indonesia |
| Frekuensi Penerbitan | : | |
| Penulis | : | IIham W. Kurnia ; dkk |
| Abstraksi | : | Designing correct security protocols has long been considered a difficult task. One of the tools developed to model and analyze formally security protocols is AVISPA (Automated Validation of Internet Security Protocols and Applications). This paper presents our result in using A VISPA to model and analyze formally the Horn-Preneel authentication protocol designed for UMTS (Universal Mobile Telecommunications System). We study the case without a trusted third party. We describe an authentication violation of this protocol, in the form of denial of service, found using A VISP A. This violation can happen in the non-perfect world where the underlying communication systems may fail to guarantee that messages can not be blocked by an adversary. We then propose a fix to the protocol. Furthermore, we use AVISPA to verify the correctness of the modified protocol. |
| Kata Kunci | : | security protocol; formal analysis; authentication; denial of service; A VISPA |
| Lokasi | : | Depok |
| Terakreditasi | : | belum |