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,...
Main Authors: | , REZANIA AGRAMANISTI AZDY, , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. |
---|---|
Format: | Thesis |
Published: |
[Yogyakarta] : Universitas Gadjah Mada
2013
|
Subjects: |
Similar Items
-
VERIFIKASI PROTOKOL CTP (COMMAND TRANSFER PROTOCOL) MENGGUNAKAN SPIN/PROMELA
by: , ERVIN KUSUMA DEWI, et al.
Published: (2014) -
VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL
by: , Ika Oktavia Suzanti, et al.
Published: (2014) -
Penerapan Extreme Programming dalam Membangun Aplikasi Pengaduan Layanan Pelanggan (PaLaPa) pada Perguruan Tinggi
by: Rezania Agramanisti Azdy, et al.
Published: (2018-05-01) -
Implementasi Bellman-Ford untuk Optimasi Rute Pengambilan Sampah di Kota Palembang
by: Rezania Agramanisti Azdy, et al.
Published: (2019-11-01) -
Verifikasi Command Transfer Protocol Menggunakan SPIN
by: Dewi, Ervin Kusuma, et al.
Published: (2014)