Filter by
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…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xviii, 118 halaman
- Series Title
- --
- Call Number
- 2023 MAR m
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 …
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xiv, 48 halaman
- Series Title
- --
- Call Number
- 2023 LAZ a
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 mid…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 66 halaman
- Series Title
- --
- Call Number
- 2023 ILH 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 melan…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 97 halaman
- Series Title
- --
- Call Number
- 2023 ALH p
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…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xviii, 74 hlm.
- Series Title
- -
- Call Number
- 2022 SEK i
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…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xviii,102 hlm.
- Series Title
- -
- Call Number
- 2022 KHA i
Analisis keamanan protokol autentikasi telemedis Zheng et al. berdasarkan tru…
Protokol yang diusulkan oleh Zheng et al. pada tahun 2018 merupakan protokol autentikasi pada sistem telemedis. Protokol ini memiliki sifat mutual authentication, indistinguishability, dan forward security sehingga aman terhadap beberapa serangan seperti retransmission, tracking, eavesdropping, denial of service, dan man in the middle. Namun, belum terdapat penelitian yang membuktikan klaim ter…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 77 hlm.
- Series Title
- -
- Call Number
- 2022 BAL a
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…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xiv, 50 hlm.
- Series Title
- -
- Call Number
- 2022 ARS a
Rancang bangun prototipe smart video surveillance dengan Night Vision Camera …
Seluruh sektor Infrastruktur Kritis Nasional (IKN) memiliki pusat data yang digunakan untuk pengolahan, penyimpanan dan pengangkutan data sehingga menjadi titik fokus serta aset penting suatu organisasi. Pusat data memerlukan keamanan fisik untuk melindungi aset didalamnya. Keamanan infrastruktur pusat data memiliki persyaratan diantaranya pemantauan visual sebagai identifikasi akses tidak sah,…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 101 hlm
- Series Title
- -
- Call Number
- 2021 NOV r
Implementasi protokol MQTT dan skema Lightweight and Secure Password Based Sm…
Internet of Things (IoT) merupakan teknologi baru dan berkembang secara pesat yang tidak dapat dihindari dalam kehidupan sehari-hari. Salah satu implementasi IoT adalah rumah pintar. Rumah pintar merupakan teknologi yang memungkinkan pengguna untuk mengelola dan mengoptimalkan objek sehari-hari dalam rumah menggunakan internet. Peningkatan jumlah perangkat IoT yang terhubung dengan internet ber…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xix, 96 hlm
- Series Title
- -
- Call Number
- 2021 FAU i
Perbandingan protokol C-Dass-Om dan G-Dass-Om sebagai hasil modifikasi protok…
Protokol Dass-Om merupakan protokol autentikasi untuk RFID yang diusulkan oleh Dass dan Om dan diklaim aman terhadap berbagai macam serangan seperti replay attack, MITM attack, DoS attack serta dapat dijalankan dengan biaya komputasi yang relatif ringan. Pada tahun 2017, Chikouche melakukan analisis formal terhadap protokol Dass-Om dengan menggunakan AVISPA dan model Ouafi-Phan yang menghasilka…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 60 hlm
- Series Title
- -
- Call Number
- 2021 MUH p
Analisis protokol PAuth menggunakan Tamarin Prover
Smart grid adalah jaringan listrik pintar yang mampu mengintegrasikan aksi atau kegiatan dari semua pengguna, mulai dari unit pembangkit sampai ke konsumen dengan tujuan agar dapat menyediakan listrik yang aman, efisien, berkelanjutan, dan ekonomis. Pada tahun 2020, Kementerian Energi dan Sumber Daya Mineral Republik Indonesia (ESDM RI) menargetkan telah menerapkan smart grid pada pembangkit li…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvii, 47 hlm
- Series Title
- -
- Call Number
- 2021 MUH a
Analisis formal Lightweight Mutual Authentication RFID protocol menggunakan S…
Salah satu faktor penting dalam protokol komunikasi adalah adanya autentikasi. Autentikasi merupakan suatu metode untuk memastikan bahwa entitas yang berkomunikasi merupakan entitas yang benar. Protokol yang memanfaatkan autentikasi salah satunya adalah protokol yang ada dalam Radio Frequency and Identification (RFID). RFID merupakan teknologi yang digunakan untuk melakukan identifikasi dan pen…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 45 hlm
- Series Title
- -
- Call Number
- 2021 DIN a
Analisis formal protokol autentikasi Kang et al. menggunakan Tamarin-Prover
Internet of Things (IoT) merupakan jaringan objek fisik dengan internet sebagai jaringan antar komputer dan jaringan antar perangkat dengan berbagai jenis dan ukuran. Adanya permasalahan efisiensi dan sensor pada IoT yang hanya memiliki memori serta daya yang rendah menyebabkan adanya peningkatan penggunaan layanan cloud sebagai solusinya. Meningkatnya penggunaan IoT menyebabkan adanya penambah…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 73 hlm
- Series Title
- -
- Call Number
- 2021 ALS a
Studi kerawanan perangkat lunak pada permainan MMORPG: studi kasus pada Pwn A…
Perkembangan teknologi komunikasi dan informasi mendorong bangkitnya industri kreatif di Indonesia dengan munculnya pengembang-pengembang permainan video lokal. Namun, ancaman serangan terhadap permainan-permainan tersebut akan ada dengan memanfaatkan kerawanan yang terdapat di dalam permainan. Oleh karena itu, pengembang permainan video dituntut agar dapat mengamankan permainannya dari kerawan…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 58 hlm
- Series Title
- -
- Call Number
- 2021 RES s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography