Research ArticleOpen AccessGoogle Scholar indexed
Secure Multi-Party Proof and its Applications
- 1
- 2
Journal of Software Engineering and Applications·Volume 03 (2010)·Pages 709–717·Published 23 July 2010·DOI10.4236/jsea.2010.37081
Copy link · social · email
Abstract
We define a new type cryptographical model called secure multi-party proof that allows any players and a verifier to securely compute a function : each of the players learns nothing about other players’ input and about the value of , and the verifier obtains the value of and it’s validity but learns nothing about the input of any of the players. It is implemented by a protocol using oblivious transfer and Yao’s scrambled circuit. We prove that our protocol is secure if the players and the verifier are semi-honest (i.e. they follow the protocol) and polynomial time bounded. The main applications of our protocol are for electronic voting and electronic bidding.
KeywordsMulti-Party ProofMulti-Party ComputationElectronic VotingElectronic Bidding
- A. Yao, “Protocols for Secure Computation,” Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, Chicago, November 1982, pp. 160-164.
- Y. Lindell and B. Pinkas, “A Proof of Yao’s Protocol for Secure Two-Party Computation,” Journal of Cryptology, Vol. 22, No. 2, April 2009, pp. 161-188.
- Y. Lindell and B. Pinkas, “An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries,” Advances in Cryptology-Eurocrypt 2007, LNCS 4515, Barcelona, May 2007, pp. 52-78.
- O. Goldreich, S. Micali and A. Wigderson, “How to Play Any Mental Game—A Completeness Theorem for Protocols with Honest Majority,” Proceedings of the 19th Annual ACM Symposium on Theory of Computing, New York, 1987, pp. 218-229.
- O. Goldreich, “Foundations of Cryptography: Volumne 2—Basic Applications,” Cambridge University Press, 2004.
- M. Ben-Or, S. Goldwasser and A. Wigderson, “Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation,” Proceedings of the 20th Annual ACM Symposium on Theory of Computing, Chicago, 1988, pp. 1-10.
- D. Chaum, C. Crepeau and I. Damgard, “Multiparty Unconditionally Secure Protocols,” Proceedings of the 20th Annual ACM Symposium on Theory of Computing, Chicago, 1988, pp. 11-19.
- S. Goldwasser and L. Levin, “Fair Computation of General Functions in Presence of Immoral Majority,” Advances of Cryptology-Crypto’90, LNCS 537, Santa Barbara, California, August 1990, pp. 77-93.
- B. Chor and E. Kushilevitz, “A Zero-One Law for Boolean Privacy,” SIAM Journal on Discrete Mathematics, Vol. 4, No. 1, February 1991, pp. 36-47.
- O. Goldreich, S. Goldwasser and N. Linial, “Fault-Tolerant Computation in the Full Information Model,” SIAM Journal on Computing, Vol. 27, No. 2, 1991, pp. 506- 544.
- R. Ostrovsky and M. Yung, “How to Withstand Mobile Virus Attacks,” Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, Montreal, August 1991, pp. 51-59.
- S. Micali and P. Rogaway, “Secure Computation,” Advances of Cryptology-Crypto’91, LNCS 576, Santa Barbara, California, August 1991, pp. 392-404.
- D. Beaver, “Foundations of Secure Interactive Computing,” Advances of Cryptology-Crypto’91, LNCS 576, Santa Barbara, California, August 1991, pp. 377-391.
- R. Canetti, U. Feige, O. Goldreich and M. Naor, “Adaptively Secure Multi-Party Computation,” Proceedings of the 28th Annual ACM Symposium on Theory of Computing, Philadelphia, 1996, pp. 639-648.