Verifikasi coercion-resistance electronic voting protocol menggunakan applied n-calculus; Verification of coecion resistance electronic voting protocol using applied n-calculus

REZANIA AGRAMANISTI AZDY, MHD REZA MI PULUNGAN

2013 | Disertasi | PROGRAM STUDI S2 ILMU KOMPUTER

N

Kata Kunci : Verifikasi protocol; Coercion-resistance; Applied n-calculus