VERIFIKASI COERCION-RESISTANCE ELECTRONIC VOTING PROTOCOL MENGGUNAKAN APPLIED �-CALCULUS
Coercion-resistance becomes major property must be fulfilled by Internet-based voting scheme because it is believed to be able to capture all behaviors that may be conducted by the attacker. Electronic voting protocol which is coercion-resistance is a protocol that has immunity to simulation attack,...
Saved in:
Main Authors: | , REZANIA AGRAMANISTI AZDY, , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. |
---|---|
Format: | Theses and Dissertations NonPeerReviewed |
Published: |
[Yogyakarta] : Universitas Gadjah Mada
2013
|
Subjects: | |
Online Access: | https://repository.ugm.ac.id/124493/ http://etd.ugm.ac.id/index.php?mod=penelitian_detail&sub=PenelitianDetail&act=view&typ=html&buku_id=64645 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universitas Gadjah Mada |
Similar Items
-
VERIFIKASI PROTOKOL CTP (COMMAND TRANSFER PROTOCOL) MENGGUNAKAN SPIN/PROMELA
by: , ERVIN KUSUMA DEWI, et al.
Published: (2014) -
Verifikasi Command Transfer Protocol Menggunakan SPIN
by: Dewi, Ervin Kusuma, et al.
Published: (2014) -
VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL
by: , Ika Oktavia Suzanti, et al.
Published: (2014) -
THE DEMOCRATIC CALCULUS: THE MATHEMATICS BEHIND ELECTIONS AND VOTING
by: NG YU XUAN
Published: (2021) -
Coercion and the State
Published: (2017)