VERIFIKASI COERCION-RESISTANCE ELECTRONIC VOTING PROTOCOL MENGGUNAKAN APPLIED Ï-CALCULUS - , REZANIA AGRAMANISTI AZDY ([Yogyakarta] : Universitas Gadjah Mada, 2013)