A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model | IEEE Conference Publication | IEEE Xplore