DSpace logo

Please use this identifier to cite or link to this item: http://repository.uksw.edu/handle/123456789/4598
Title: Pendekatan Logika Terhadap Verifikasi Formal Protokol Crypto-0n2 With The Blind Schnorr Signature Scheme Implementation
Authors: Agustina, Esti Rahmawati
Budiarso, Ikhsan
Keywords: e-voting;protokol CryptO-0N2;the blind Schnorr signature scheme;pendekatan logika;BAN logic;kriptografi
Issue Date: Jun-2014
Publisher: Fakultas Sains dan Matematika Universitas Kristen Satya Wacana
Abstract: Pemilihan umum di Indonesia merupakan suatu peristiwa yang sangat penting karena Indonesia adalah negara penganut paham demokrasi. Indonesia telah melakukan sebelas kali pemilihan umum. Namun demikian hingga kini masih terdapat banyak potensi kecurangan yang terjadi dalam sistem pemilihan umum tersebut. Seiring dengan pemanfaatan Teknologi Informasi dan Komunikasi (TIK) dalam kehidupan sehari-hari, banyak penelitian dilakukan untuk mencari alternatif solusi dalam menjawab tantangan terkait potensi kecurangan pada sistem pemilihan umum konvensional. Salah satu alternatif solusi tersebut adalah dengan electronic voting (e-voting). Protokol CryptO-0N2 merupakan salah satu protokol e-voting yang mempunyai karakteristik secure ubiquitous evoting. Protokol ini mengimplementasikan fitur-fitur kriptografi seperti fungsi hash dan algoritma kunci publik. Dalam perkembangannya, protokol ini telah dilengkapi fitur anonimitas pemilih dengan mengimplementasikan The Blind Schnorr Signature Scheme. Namun dalam implementasi ini belum dilakukan analisis terhadap protokol tersebut. Salah satu analisis yang umum dilakukan terhadap suatu protokol adalah dengan menggunakan pendekatan logika, salah satunya dengan menggunakan BAN Logic. Hasil dari analisis ini akan didapatkan kesimpulan terkait dengan penggunaan fitur-fitur kriptografi yaitu penggunaan kunci publi k dan fungsi hash pada protokol tersebut. Dalam makalah ini akan dideskripsikan analisis protokol tersebut dengan menggunakan pendekatan logika yaitu BAN Logic terhadap verifikasi formal “Protokol CryptO-0N2 with The Blind Schnorr Signature Scheme Implementation”
Description: Prosiding Seminar Nasional Sains dan Pendidikan Sains IX, Fakultas Sains dan Matematika UKSW Salatiga, 21 Juni 2014, Vol 5, No.1, p. 663-675
URI: http://repository.uksw.edu/handle/123456789/4598
ISSN: 2087-0922
Appears in Collections:Bidang Matematika dan Pendidikan Matematika

Files in This Item:
File Description SizeFormat 
PROS_ER Agustina, I Budiarso_Pendekatan Logika Terhadap Verifikasi_fulltext.pdfFull text450.53 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.