Article Per Year (5 Year)
p-Index From 2019 - 2024
0.408
P-Index
This Author published in this journals
All Journal Jurnal Teknologi Informasi dan Ilmu Komputer Seminar Nasional Teknologi Informasi Komunikasi dan Administrasi [SEMINASTIKA]
Magdalena Christine
Badan Siber dan Sandi Negara
Computer Science & IT Control & Systems Engineering Electrical & Electronics Engineering Engineering Industrial & Manufacturing Engineering Mathematics

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool Esti Rahmawati Agustina; Magdalena Christine; Irma Fitriani
Jurnal Teknologi Informasi dan Ilmu Komputer Vol 6, No 1: Februari 2019
Publisher : Fakultas Ilmu Komputer, Universitas Brawijaya

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (2931.972 KB) | DOI: 10.25126/jtiik.2019611303

Abstract

Pemilihan Umum (pemilu) di Indonesia merupakan peristiwa yang sangat penting mengingat Indonesia merupakan negara yang menganut paham demokrasi. Metode yang digunakan dalam pemilihan umum di Indonesia adalah dengan menggunakan kertas suara yang ditandai yaitu dicentang atau dicoblos. Banyak kelemahan dan kecurangan yang terjadi dalam sistem konvensional ini. Misalnya pemilih ganda, data pemilih tidak valid, surat suara rusak dan lain sebagainya. Salah satu solusi untuk menyelesaikan permasalahan pada sistem pemilu konvensional adalah dengan menerapkan electronic voting (e-voting). Berbagai penelitian dan pengembangan dilakukan dalam rangka membangun sistem e-voting yang aman. Salah satunya adalah dengan mengimplementasikan teknik kriptografi. Salah satu protokol e-voting yang menerapkan teknik kriptografi adalah protokol CryptO-0N2. Pada perkembangannya, protokol ini telah dianalisis dengan menggunakan verifikasi formal berbasis pendekatan logika yaitu BAN Logic. Verifikasi formal terhadap suatu protokol dapat dijamin obyektivitasnya dengan menggunakan tools tertentu. Pada paper ini disajikan analisis protokol CryptO-0N2 dengan menggunakan Scyther Tool. Tool ini memeriksa klaim secrecy dan authentication dari protokol CryptO-0N2. Hasil menunjukkan dari 17 klaim (secrecy dan authentication) terdapat 10 klaim sukses dan 7 klaim gagal.AbstractElections in Indonesia is a very important event considering Indonesia is a democratic country. The method of the general election in Indonesia is use a marked ballot that is ticked or punched. Many weaknesses and frauds occur in this conventional system. For example multiple voters, invalid voter data, broken ballots and so forth. One solution to solve the problems in conventional electoral systems is to apply electronic voting (e-voting). Various research and development carried out in order to build a secure e-voting system. One of them is by implementing cryptographic techniques. One of the e-voting protocols employing cryptographic techniques is the CryptO-0N2 protocol. In its development, this protocol has been analyzed by using formal logic-approach based on logical verification that is BAN Logic. Formal verification of a protocol can be guaranteed objectivity by using certain tools. In this paper we present CryptO-0N2 protocol analysis using Scyther Tool. This tool examines the secrecy and authentication claims of the CryptO-0N2 protocol. The result shows from 17 claims (secrecy and authentication) there are 10 successful claims and 7 claims are failed.
PERANCANGAN SPESIFIKASI KEAMANAN APLIKASI SISTEM KOMPETENSI PERSONIL LSPRO BSSN “SIKOMPRONAS” VERSI 1.0.0 BERDASARKAN SNI ISO/IEC 15408:2014 Esti Rahmawati Agustina; Alfred Saut Sibarani; Magdalena Christine; Irma Fitriani
PROSIDING SEMINASTIKA Vol 2 No 1 (2019): 2nd SEMINASTIKA 2019
Publisher : Universitas Mulia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Salah satu tugas pokok dan fungsi Badan Siber dan Sandi Negara (BSSN) yang dilaksanakan oleh Deputi Bidang Pemantauan dan Pengendalian adalah melaksanakan kegiatan sertifikasi keamanan perangkat teknologi informasi (TI). Dalam meningkatkan kepercayaan pelaksanaan kegiatan ini diperlukan suatu Lembaga Sertifikasi Produk (LSPro) yang diakui oleh Komite Akreditasi Nasional (KAN). Standar yang digunakan untuk mengakreditasi LSPro adalah SNI ISO/IEC 17065:2012 yang salah satunya mengatur tentang Persyaratan Sumber Daya. Dalam mendukung pemenuhan klausul persyaratan tersebut, dibangunlah suatu aplikasi terkait kompetensi personil LSPro yaitu Aplikasi SIKOMPRONAS versi 1.0.0. Dalam tahap perencanaan dan analisis kebutuhan didefinisikanlah kebutuhan fungsional dan non fungsional aplikasi. Salah satu kebutuhan non fungsional adalah spesifikasi keamanan sistem. Pada makalah ini dirancang spesifikasi keamanan aplikasi SIKOMPRONAS versi 1.0.0 berdasarkan SNI ISO/IEC 15408:2014. Metode perancangan mengikuti mengikuti langkah – langkah yang tertuang pada ISO/IEC TR 15446:2017. Hasil perancangan diperoleh 7 kelas spesifikasi keamanan yaitu FIA_UID.1.1 Timing of identification, FIA_UID.1.2 User identification before any action, FIA_UAU.2 User authentication before any action, FIA_SOS.1 Verification of secret, FCS_COP.1 Cryptographic operation (password verification), FAU_GEN.1.1& 1.2 Audit data generation, dan FAU_SAR.1.1 Audit data review.
Co-Authors Alfred Saut Sibarani Esti Rahmawati Agustina Irma Fitriani