Filter by
Analisis Formal Protokol Autentikasi Choi et al. Menggunakan ProVerif
Abstrak: 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 att…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvii, 48
- Series Title
- --
- Call Number
- 2024 ERZ a
Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover
Abstrak: Proses komunikasi pada smart grid memerlukan adanya interoperabilitas antarperangkat. Protokol kriptografi menjadi unsur yang penting untuk menyediakan interoperabilitas antarperangkat yang aman dalam sistem smart grid. Badar et al. pada tahun 2021 telah mempublikasikan penelitiannya terkait protokol autentikasi berbasis identitas aman untuk berkomunikasi pada smart grid. Protokol aute…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 55 hlm
- Series Title
- --
- Call Number
- 2024 SYA a
Analisis Komparatif Digital Signature Pada Digital Currency Berbasis ECDSA da…
Abstrak: Bitcoin merupakan salah satu digital currency yang paling banyak digunakan dalam melakukan transaksi privat. Keamanan dalam bitcoin menjadi perhatian utama, khususnya dalam penggunaan digital signature pada sistem transaksinya. Berdasarkan penelitian yang dilakukan oleh Ko dan Kwak (2021), ditemukan adanya kerentanan pada digital signature bitcoin yang berbasis ECDSA terhadap serangan…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xix, 77 hlm
- Series Title
- --
- Call Number
- 2024 SOC a
Analisis Forensik Digital pada Aplikasi Cryptocurrency Wallet INDODAX dan PIN…
Abstrak: Penggunaan teknologi blokchain dalam perdagangan aset kripto di Indonesia meningkat pesat, dengan jumlah pengguna aset kripto mencapai 17,54 juta pada Juni 2023. Pertumbuhan tersebut meningkatkan potensi terjadinya tindak kejahatan, khususnya melalui aplikasi Cryptocuerrency Wallet seperti INDODAX dan PINTU. Penelitian ini bertujuan untuk melakukan forensik digital pada aplikasi Crypto…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv +81 halaman
- Series Title
- --
- Call Number
- 2024 REZ a
Optimasi Autentikasi Menggunakan RFID dan Pengenalan Plat Nomor Berbasis Algo…
Abstrak: Sistem gerbang otomatis merupakan sistem berkaitan dengan kendali akses yang membatasi siapa saja yang ingin mengakses suatu area terbatas. Kampus Politeknik Siber dan Sandi Negara merupakan salah satu area terbatas dan hanya orang-orang tertentu yang dapat mengaksesnya. Pemeriksaan kendaraan oleh pos keamanan yang masih dilakukan manual dirasa kurang efektif. Sehingga muncul inovasi b…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xix, 103
- Series Title
- --
- Call Number
- 2024 MAL o
Implementasi Smart Contract dengan Teknologi Blockchain dalam Membangun Siste…
Abstrak: Crowdfunding merupakan salah satu metode penggalangan dana yang telah banyak digunakan dalam berbagai bidang, mulai dari bisnis, sosial, hingga kemanusiaan. Namun, aplikasi crowdfunding saat ini seperti kitabisa.com, gofundme, dan kickstarter masih memiliki beberapa kelemahan, seperti kurangnya transparansi, keamanan, dan bersifat sentral. Ketergantungan suatu sistem pada kepercaya…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvii, 81
- Series Title
- --
- Call Number
- 2024 FAC i
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
Implementasi Invisible Steganography Via Generative Adverserial Network (ISGA…
Abstrak: Steganografi adalah salah satu teknik keamanan informasi yang bertujuan untuk menyembunyikan data atau pesan rahasia dalam berbagai media, seperti teks, gambar, audio, atau video. Banyak penelitian dan pembaruan telah dilakukan untuk meningkatkan kualitas dari steganografi gambar, salah satunya yaitu dengan menggunakan machine learning yang merupakan cabang dari Artificial Intelligenc…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 126 halaman
- Series Title
- --
- Call Number
- 2023 SAL i
Fixed Point Attack dan Collision Attack pada 4 Secure-PGV Hash Function Schem…
Abstrak: Dalam rangka mendukung perkembangan teknologi infrormasi dan juga aspek keamanannya, khususnya pada perangkat Internet of Things (IoT) dan aspek integritas data, diterapkanlah block cipher-based hash function. Salah satu contoh block cipher-based hash function adalah 4 secure-PGV schemes berbasis algoritme Improved-DLBCA. Kriteria fungsi hash yang harus dipenuhi adalah pre-image resis…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 58 halaman
- Series Title
- --
- Call Number
- 2023 SAL f
Analisis Integrasi Security Information and Event Management (SIEM) dan Intru…
Abstrak: Perkembangan teknologi informasi yang pesat telah membawa dampak signifikan pada tingkat serangan terhadap sistem. Pelaku serangan terus mengembangkan berbagai macam jenis serangan dengan beragam teknik untuk mengelabui sistem keamanan, termasuk penggunaan evasion technique. Evasion technique merupakan serangan yang menyelinap dalam keamanan suatu sistem. Pertahanan yang efektif melaw…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xv, 91 halaman
- Series Title
- --
- Call Number
- 2023 ADE a
Integral Attack pada Reduced Round Algoritme SLIM
Abstrak: Algoritme SLIM merupakan salah satu algoritme kunci simetris block cipher dengan struktur feistel. Penelitian ini meguji ketahanan Algoritme SLIM terhadap integral attack dengan mengaktifkan satu hingga empat nibble pada posisi ??1 hingga ??4 dalam semua kemungkinan posisi. Penelitian dimulai dengan mengenkripsi himpunan 16 plaintext atau ? ??????? untuk menemukan integral distingu…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xvi, 75 halaman
- Series Title
- --
- Call Number
- 2023 KAM i
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
Modifikasi protokol LAKA: Lightweght Authentication and Key Agreement menggun…
Wireless body area network (WBAN) merupakan salah satu teknologi yang dapat mendukung telemedicine. WBAN dapat berjalan secara realtime untuk memantau parameter kesehatan pasien. Namun, tidak adanya perlindungan yang kuat pada proses pertukaran data dalam model saluran terbuka dapat menjadi peluang bagi penyerang untuk melakukan aktivitas ilegal. Oleh karena itu, dibutuhkan adanya pemenuhan fak…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xiii, 45 hlm.
- Series Title
- -
- Call Number
- 2022 FEN m
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
Serangan kolisi dan second preimage terhadap skema modifikasi MDC-2 berbasis …
MDC-2 merupakan salah satu bentuk skema double-length hash function yang bertujuan untuk memfasilitasi jaminan integritas data. Skema ini menggunakan input berupa dua operasi block cipher per blok dari input hash dengan hanya menggunakan input berupa pesan tanpa kunci. Ide konstruksi penggunaan block cipher sebagai komponen utama fungsi hash diharapkan dapat menyediakan efisiensi yang sama jika…
- Edition
- --
- ISBN/ISSN
- --
- Collation
- xiv, 44 hlm.
- Series Title
- -
- Call Number
- 2022 ANJ s
Bahan ajar teori matriks
DAFTAR ISI PRAKATA NORMA DAN HASIL KALI DALAM BAB 1 NORMA VEKTOR NORMA VEKTOR EUCLID HASIL KALI DALAM STANDAR PERTIDAKSAMAAN CAUCHY-BUNYAKOVSKI-SCHWARTZ (CBS) PERTIDAKSAMAAN SEGITIGA NORMA-p NORMA VEKTOR UMUM BAB 2 NORMA MATRIKS NORMA MATRIKS FROBENIUS NORMA MATRIKS UMUM NORMA MATRIKS TERINDUKSI NORMA-2 MATRIKS BAB 3 RUANG HASIL KALI…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 96 hlm.; ilus.; 30 cm
- Series Title
- -
- Call Number
- 512.9 MAR b
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography