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 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.

Download Full-text

Impact of Blockchain in the Voting System

International Journal of Innovative Technology and Exploring Engineering - Special Issue ◽

10.35940/ijitee.h6515.079920 ◽

2020 ◽

Vol 9 (9) ◽

pp. 117-122

Keyword(s):

Review Paper ◽

Cost Effective ◽

Electronic Voting ◽

Voting Systems ◽

Blockchain Technology ◽

The People ◽

Voting System ◽

Major Factors ◽

Electronic Voting System ◽

Democratic Country

Voting is important for any democratic country. It can be considered as one of the major factors that make a government for the people and by the people. The most common methods of voting that currently exist are ballot-based voting, purely electronic methods, and Electronic Voting Machines, among others. Over the years, it has been a challenge to build a secure E-voting program that provides the privacy of current voting systems while offering a means of accountability and versatility. Using blockchain technology and cryptography we can make the process of elections as open and cost-effective as possible. In this review paper we discuss a new, blockchain-based electronic voting system that addresses some of the limitations in existing systems and evaluates some of the popular systems designed to create a blockchain-based e-voting system.

Download Full-text

The New Age of Democracy—Voting System

Journal of Computational and Theoretical Nanoscience ◽

10.1166/jctn.2020.8422 ◽

2020 ◽

Vol 17 (4) ◽

pp. 1671-1674

Author(s):

Atmakuri Sreeram ◽

L. Kiran Kumar ◽

Jayakrishna Natarajan ◽

C. Ashwini

Keyword(s):

Digital Technology ◽

Mobile Application ◽

New Age ◽

Usual Method ◽

Fundamental Rights ◽

Electronic Voting ◽

Finger Print ◽

Voting System ◽

Modern Era ◽

Democratic Country

Elections are one of the biggest events to take place in any democratic country. In India, which has a population of 1.2 Billion, elections are especially important as it selects the leader of about one-sevenths of the World’s Population. The usual method of voting is through the use of Electronic Voting Machines (EVM). In this modern era, where technology is being used in every sphere of life, considering the fact that Voting is one of the fundamental rights of every citizen of a democratic country, technology should be used to stop any unfair means being used in the elections. The objective of this project is to develop a system which will be suitable for elections in countries like India. In this project we use Arduino and Finger Print Scanner which will identify its voters and prevent digital malpractices. We also propose a mobile application which will enable the voters to cast their vote from anyplace they want. The proposed system is more digital, technology-based and secure.

Download Full-text

Reliable Electronic Voting using Blockchain Technology

International Journal of Engineering and Advanced Technology - Regular Issue ◽

10.35940/ijeat.d8459.049420 ◽

2020 ◽

Vol 9 (4) ◽

pp. 2040-2043

Keyword(s):

New Technologies ◽

Electronic Voting ◽

Voting Systems ◽

Effective Implementation ◽

Blockchain Technology ◽

Crypto Currency ◽

Voting System ◽

Block Chain ◽

Electronic Voting System ◽

Democratic Country

Voting is the principal incident in any democratic country. Generally voting is done using ballots system, but this technique is ancient and can be easily sabotaged. There is a necessity to bring in new technologies to ensure effective implementation of digital voting systems. The security of digital voting is a significant aspect for implementation and must meet the requirements to be appropriate for trust worthiness. Block chain technology provides reliable electronic voting system that can be secured by adding more decision so that the possible attacks can be avoided. Block chain technology based on crypto currency implements diffused database architecture with transaction records secured by transactions.

Download Full-text

Biometric Authentication in E-Voting through RNN

International Journal of Scientific Research in Science and Technology ◽

10.32628/ijsrst218334 ◽

2021 ◽

pp. 434-442

Author(s):

Alkesh Kothar ◽

Pratik Hopal ◽

Pratiksha More ◽

Swamini Pimpale ◽

Dr. J. B. Patil

Keyword(s):

Facial Recognition ◽

Electronic Voting ◽

Performance Metric ◽

Single Person ◽

Election Process ◽

Voting System ◽

Security Concerns ◽

The Right ◽

Electronic Voting System ◽

Democratic Country

In a democratic country the election process and the right to vote are one of the most significant aspects. This is due to the fact that in a democratic country the sole administrator and the decision maker for the entire country needs to be elected in a fair and just manner from amongst the citizens of the country. This procedure has been effectively performed manually and physically by the utilization of ballot elections. This is a highly inefficient form of election that needs to be upgraded in this day and age of information and electronic supremacy. But the considerable concerns for developing an electronic voting scheme was the security concerns regarding multiple voting performed by a single person. Therefore to introduce an effective and useful technique which also addresses the security concerns an effective methodology for electronic voting through facial recognition has been proposed in this research article. The proposed methodology utilizes the open-source open CV library along with Recurrent Neural Networks to achieve highly accurate facial recognition for a secure electronic voting system. This approach has been significantly e evaluated for their performance metric which has achieved suitable results.

Download Full-text