Science Alert
Curve Top
Information Technology Journal
  Year: 2009 | Volume: 8 | Issue: 7 | Page No.: 934-964
DOI: 10.3923/itj.2009.934.964
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

A Critical Review of Receipt-Freeness and Coercion-Resistance

Bo Meng

In this study, we first briefly introduce the development status of core cryptographic primitives related to implementation of receipt-freeness and coercion-resistance. These core cryptographic primitives consist of blind signature, deniable encryption, mix net/verifiable shuffles, designated verifier proof/signature, knowledge proof protocol, plaintext equivalence test, secure multi-party computation and deniable authentication protocol. Then, a typical deniable encryption scheme is analyzed and improved. Moreover, the state-of-art of receipt-freeness and coercion-resistance, based on the internet voting model proposed by us, is presented. Finally, the status in quo of formal analysis of receipt-freeness and coercion-resistance is discussed.
PDF Fulltext XML References Citation Report Citation
  •    Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model
  •    Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model
  •    Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus
  •    Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif
  •    A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model
  •    A Secure Non-Interactive Deniable Authentication Protocol with Strong Deniability Based on Discrete Logarithm Problem and its Application on Internet Voting Protocol
  •    Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus
How to cite this article:

Bo Meng , 2009. A Critical Review of Receipt-Freeness and Coercion-Resistance. Information Technology Journal, 8: 934-964.

DOI: 10.3923/itj.2009.934.964






Curve Bottom