VERIFIKASI FORMAL PROTOKOL AUTENTIKASI LINTAS REALM BERBASIS KUNCI PUBLIK

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.

Download Full-text

Prototyping PCB Menggunakan Computer-Aided Design

TIERS Information Technology Journal ◽

10.38043/tiers.v2i2.3310 ◽

2021 ◽

Vol 2 (2) ◽

pp. 37-43

Author(s):

I Wayan Sukadana ◽

I Made Pande Darma Yuda

Keyword(s):

Internet Of Things ◽

Computer Aided Design ◽

Smart System ◽

Computer Aided ◽

Technology Cad ◽

Aided Design

Perkembangan Teknologi yang semakin meningkat dan berkembang dapat memudahkan orang-orang yang kreatif dalam merancang system dan elektronik. Pada elektronik terdapat komponen yang sangat penting untuk menunjang komponen dan memberikan jalur penghubung antar komponen yaitu papan PCB. Sebelum adanya technology CAD untuk membuat PCB para pengembang technology Smart System/Internet of Things masih membuat PCB dengan cara manual namun seiring berjalannya waktu dan dengan berkembangnya teknologi sekarang membuat PCB sudah mudah dengan adanya Computer-Aided Design (CAD). Teknik awal seorang pengembang IoT/Smart System membuat PCB yaitu masih dengan cara membuat tata letak komponen dan menyesuaikan skala dengan komponennya setelah itu baru proses menggambar jalur menggunakan spidol permanen yang dibuat sedemikian rupa dengan apa yang telah digambarkan terlebih dahulu baru dilakukannya proses eatching. Setelah adanya technology CAD terdapat banyak perubahan disetiap tahap pembuatannya jadi tidak perlu menggambar tata letak komponen dan menyesuaikan sklanya dengan CAD itu semua sudah otomatis di tentukan. Pada pembuatan PCB dengan CAD bisa menampilkan bagian silk atau gambar bagian depan sehingga bagian silk tersebut bisa ditempel ke bagian atas PCB untuk memudahkan menentukan tempat komponennya. Proses pembuatannya juga lebih efisien dan lebih teratur dengan menggunakan CAD dari pada membuat secara manual sehingga dengan adanya Computer-Aided Design (CAD) sangat membantu dalam proses pembuatan desain PCB.

Download Full-text