Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif

Protokol autentikasi Choi et al. merupakan protokol yang dirancang untuk proses autentikasi pada perangkat IoT. Protokol ini dapat diterapkan untuk berbagai bidang yang mengimplementasikan perangkat IoT seperti, kesehatan, transportasi, energi, industri, smart home, dan lain-lain. Berdasarkan klaim oleh Choi et al., protokol ini tahan terhadap berbagai serangan yaitu, eavesdropping attack, repl…

Analisis Komparatif Digital Signature Pada Digital Currency Berbasis ECDSA da…

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

2024 SOC a

Analisis Formal Protokol MPKE pada Wireless Mesh Network Menggunakan ProVerif

Protokol MPKE pada Wireless Mesh Network (WMN) merupakan protokol banyak pihak yang menggunakan tiket dalam proses autentikasi. Protokol MPKE dibuat oleh Roy et al. pada tahun 2022 yang ditujukan untuk proses autentikasi pada saat handover dari Home Mesh Access Point (HMAP) ke Foreign Mesh Access Point (FMAP). Protokol ini dapat diterapkan pada perangkat yang terhubung ke dalam suatu jaringan r…

Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

2024 SYA a

Pengembangan otomatisasi perangkat simulasi quantum key distribution dengan m…

Abstrak: Quantum Key Distribution (QKD) merupakan distribusi kunci yang menggunakan hukum fisika quantum untuk menjamin keamanan kunci yang dipertukarkan. Terdapat berbagai protokol dalam QKD diantaranya yaitu BB84, E91, BBM92, B92, SSP dan SARG04. EDU-QCRY1 merupakan perangkat simulasi untuk QKD. Perangkat EDU-QCRY1 merupakan perangkat yang dioperasionalkan secara manual. Penelitian ini mela…

Analisis formal protokol LAP fog enabled IoT menggunakan proverif

Abstrak: Protokol LAP Fog enabled IoT merupakan protokol yang dijalankan dalam fog computing untuk lingkungan IoT. Didesain oleh Verma dan Bhardwaj pada tahun 2020. Protokol tersebut berguna dalam banyak penerapan IoT seperti sistem perawatan kesehatan, sistem transportasi, smart city dan lainnya. Berdasarkan klaim oleh Verma dan Bhardwaj, protokol tersebut dinilai aman terhadap man in the mi…

Analisis protokol Pu dan Li dengan Tamarin Prover

Abstrak: Protokol Pu dan Li merupakan salah satu protokol autentikasi antara unmanned aerial vehicles (UAV) dan ground station (GS). Protokol autentikasi ini berfungsi untuk menjamin bahwa hanya UAV sah yang dapat berkomunikasi dengan GS melalui jaringan publik. Pu dan Li mengklaim bahwa protokolnya tahan terhadap serangan cloning attack, tampering attack, man in the middle attack, dan replay…

Modifikasi key establishment protokol ET SRT menggunakan skema Sharma-Krishna…

Abstrak: Protokol terdistribusi merupakan salah satu protokol manajemen kunci grup yang setiap anggotanya bertanggung jawab untuk menghasilkan kunci grup. Protokol ET SRT merupakan salah satu protokol terdistribusi yang menerapkan skema pohon biner berbasis Elliptic Curve Diffie Hellman (ECDH) pada proses penetapan kunci grup. Protokol ET SRT juga menerapkan sifat asynchronous dalam penetapan…

Implementasi skema secure and lightweight authentication protocol pada protot…

Internet of Things (IoT) merupakan teknologi yang mengintegrasikan perangkat untuk dapat terhubung satu dengan yang lainnya menggunakan jaringan internet. Salah satu penerapan IoT adalah rumah pintar. Rumah pintar merupakan suatu lingkungan dengan teknologi informasi dan komunikasi yang menyediakan fungsi sesuai kebutuhan pengguna. Kriteria IoT yang efisien yaitu menerapkan lightweight protoco…

Implementasi algoritma SIT pada prototipe sistem kesehatan pribadi untuk pasi…

Personalized Healthcare Systems (PHS) merupakan suatu bentuk perubahan dalam pengelolaan informasi layanan kesehatan. Dengan adanya jaringan sensor medis tersebut, dapat mendukung adanya transformasi dalam PHS berupa kemudahan pemantauan kesehatan untuk memberikan penanganan kesehatan berdasarkan informasi yang diterima. Pandemi COVID-19 berdampak besar pada teknologi kesehatan. Untuk memutus p…