Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool
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 kelemah...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Indonesian |
| Published: |
University of Brawijaya
2019-01-01
|
| Series: | Jurnal Teknologi Informasi dan Ilmu Komputer |
| Online Access: | https://jtiik.ub.ac.id/index.php/jtiik/article/view/1303 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849317314832367616 |
|---|---|
| author | Esti Rahmawati Agustina Magdalena Christine Irma Fitriani |
| author_facet | Esti Rahmawati Agustina Magdalena Christine Irma Fitriani |
| author_sort | Esti Rahmawati Agustina |
| collection | DOAJ |
| description |
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.
Abstract
Elections 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.
|
| format | Article |
| id | doaj-art-9b49655e7b7143ed982482f6d329cfe0 |
| institution | Kabale University |
| issn | 2355-7699 2528-6579 |
| language | Indonesian |
| publishDate | 2019-01-01 |
| publisher | University of Brawijaya |
| record_format | Article |
| series | Jurnal Teknologi Informasi dan Ilmu Komputer |
| spelling | doaj-art-9b49655e7b7143ed982482f6d329cfe02025-08-20T03:51:14ZindUniversity of BrawijayaJurnal Teknologi Informasi dan Ilmu Komputer2355-76992528-65792019-01-016110.25126/jtiik.2019611303378Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther ToolEsti Rahmawati Agustina0Magdalena Christine1Irma Fitriani2Badan Siber dan Sandi NegaraBadan Siber dan Sandi NegaraBadan Siber dan Sandi Negara 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. Abstract Elections 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. https://jtiik.ub.ac.id/index.php/jtiik/article/view/1303 |
| spellingShingle | Esti Rahmawati Agustina Magdalena Christine Irma Fitriani Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool Jurnal Teknologi Informasi dan Ilmu Komputer |
| title | Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool |
| title_full | Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool |
| title_fullStr | Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool |
| title_full_unstemmed | Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool |
| title_short | Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool |
| title_sort | analisis protokol crypto 0n2 dengan menggunakan scyther tool |
| url | https://jtiik.ub.ac.id/index.php/jtiik/article/view/1303 |
| work_keys_str_mv | AT estirahmawatiagustina analisisprotokolcrypto0n2denganmenggunakanscythertool AT magdalenachristine analisisprotokolcrypto0n2denganmenggunakanscythertool AT irmafitriani analisisprotokolcrypto0n2denganmenggunakanscythertool |