How to secure network application systems using cryptographic protocols - Electronic voting systems case

In this paper, we present cryptographic techniques for ensuring security properties required in electronic voting. In electronic voting, it is important to exclude faulty votes while ensuring the privacy of honest voters. We employ the idea of double-envelopes used in paper-based voting system, and employ cryptographic techniques to realize the same effect in the digital world. We also implemented the idea in a demonstrative system, and have shown that it only takes 20 minutes to process 10,000 votes using 1GHz personal computers.