Article Per Year (5 Year)
p-Index From 2021 - 2026
0.23
P-Index
This Author published in this journals
All Journal Jusikom : Jurnal Sistem Komputer Musirawas
Muhammad Ziyad Al-Malik
Unknown Affiliation
Computer Science & IT

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
VERIFIKASI FORMAL PROTOKOL AUTENTIKASI LINTAS REALM BERBASIS KUNCI PUBLIK Sepha Siswantyo; Muhammad Ziyad Al-Malik
Jusikom : Jurnal Sistem Komputer Musirawas Vol 6 No 1 (2021): Jusikom : Jurnal Sistem Komputer Musirawas JUNI
Publisher : LPPM UNIVERSITAS BINA INSAN

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.32767/jusikom.v6i1.1257

Abstract

Perusahaan berskala besar telah memanfaatkan integrasi berbagai sistem seperti sistem computer aided design dan sistem manufaktur untuk dijalankan antar host dan antar unit organisasi. Perkembangan teknologi Internet of Things dan blockchain juga berpotensi untuk diterapkan pada sistem terdistribusi. Layanan dan aplikasi pada organisasi yang berbeda memiliki mekanisme keamanan yang berbeda pula, seperi mekanisme autentikasi lintas realm. Desain protokol autentikasi lintas realm perlu diverifikasi secara formal untuk menjamin keamanan protokol ketika diimplementasikan di dunia nyata. Penelitian ini melakukan analisis atau verifikasi formal terhadap protokol autentikasi lintas realm berbasis kunci publik yang didesain oleh Xiong dkk. menggunakan metode analisis protokol keamanan dan tools Scyther. Klaim keamanan yang dianalisis adalah kerahasiaan parameter dan autentikasi entitas. Hasil verifikasi menunjukkan dari 35 klaim keamanan (kerahasiaan dan autentikasi) terdapat 33 klaim sukses dan 2 klaim gagal.
Co-Authors Sepha Siswantyo