Analisis Protokol Autentikasi Nai-Wei dan Alexander Menggunakan AVISPA

BLE-Based Authentication Protocol termasuk dalam mutual authentication protocol antara entitas pengguna yang direpresentasikan dengan Wearable Device (WD), Wearable Payment Counter (WP counter), dan server atau pihak ketiga tepercaya yang di desain oleh Nai-Wei dan Alexander pada tahun 2020. BLE Authentication protocol ditujukan untuk menjamin autentikasi pada sistem pembayaran mikro berbasis B…

Implementasi Enhanced Elliptic Curve Diffie-Hellman pada Skema Kunci Konferen…

Komunikasi grup merupakan proses pertukaran informasi antara beberapa individu atau entitas dalam suatu kelompok secara bersamaan. Keamanan dalam komunikasi grup sangat penting, terutama ketika dilakukan melalui jaringan publik yang rentan terhadap serangan seperti Man-In-The-Middle (MITM). Serangan MITM memungkinkan penyerang mengintersepsi dan memanipulasi kunci publik yang ditukar, sehingga …

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

Pencarian Related-Key Boomerang Distinguisher pada 2 Round Algoritma BAKSHEESH

Algoritma BAKSHEESH merupakan salah satu algoritma lightweight block cipher dengan struktur Substitution-Permutation Network (SPN). Algoritma BAKSHEESH beroperasi sebanyak 35 putaran dengan panjang kunci dan teks terang masing-masing sebanyak 128-bit. Algoritma ini diklaim telah memenuhi keamanan terhadap beberapa serangan klasik, seperti differential attack, linear attack, algebraic atta…

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…

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…

Modifikasi tanda tangan agregat tanpa sertifikat menggunakan varian tanda tan…

Abstrak: Tanda tangan agregat adalah skema penggabungan beberapa tanda tangan. Salah satu pengembangan dari konsep tanda tangan agregat adalah tanda tangan agregat tanpa sertifikat yang bertujuan untuk mengatasi permasalahan key escrow pada tanda tangan. Deng et al. telah mengembangkan skema tanda tangan agregat tanpa sertifikat dengan menerapkan algoritma RSA. Penelitian Deng et al. berhasil…

Serangan diferensial 4 round pada algoritme Loong-64: a family of involutiona…

Algoritme Loong-64 merupakan algoritme lightweight block cipher dengan struktur Substitution Permutation Network (SPN) yang memiliki blok plaintext sebesar 64-bit dengan blok kunci sebesar 64-bit dan terdiri dari 16 round. Liu et al. menyatakan bahwa algoritme Loong-64 diklaim tahan terhadap serangan diferensial dan memiliki jumlah S-box aktif paling sedikit pada 4 round yaitu sebesar 32 S-box …

Analisis formal protokol SMAP fog/edge: secure mutual authentication protocol…

Protokol SMAP Fog/ Edge merupakan protokol mutual autentikasi antara pengguna, authentication server, dan fog server yang didesain oleh Pardeshi dan Yuan pada tahun 2019. Protokol SMAP Fog/ Edge ditujukan untuk memberikan sistem autentikasi yang aman dalam fog computing. Berdasarkan klaim yang dituliskan oleh Pardeshi dan Yuan, protokol SMAP Fog/ Edge dinilai aman terhadap serangan pasif dan ak…