IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model

2008 International Symposiums on Information Processing - ISIP 2008; 2008 International Pacific Workshop on Web Mining and Web-Based Application - WMWA 2008

Author(s): Bo Meng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2008
Conference Location: Moscow, Russia
Conference Date: 23 May 2008
Page(s): 490 - 494
ISBN (Paper): 978-0-7695-3151-9
DOI: 10.1109/ISIP.2008.29
Regular:

The practical Internet voting protocols should have: privacy, completeness, soundness, unreusability, fairness, eligibility, invariableness, universal verifiability, receipt-freeness and... View More

Advertisement