• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Wei Xiaochao, Jiang Han, Zhao Chuan. An Efficient 1-out-of-n Oblivious Transfer Protocol with Full Simulation[J]. Journal of Computer Research and Development, 2016, 53(11): 2475-2481. DOI: 10.7544/issn1000-1239.2016.20150505
Citation: Wei Xiaochao, Jiang Han, Zhao Chuan. An Efficient 1-out-of-n Oblivious Transfer Protocol with Full Simulation[J]. Journal of Computer Research and Development, 2016, 53(11): 2475-2481. DOI: 10.7544/issn1000-1239.2016.20150505

An Efficient 1-out-of-n Oblivious Transfer Protocol with Full Simulation

More Information
  • Published Date: October 31, 2016
  • Oblivious transfer (OT) is an important basic cryptographic tool, which can be used in the constructions of many other cryptographic protocols, such as secure multi-party computation (SMPC) protocols, private information retrieval (PIR) and so on. The 1-out-of-n oblivious transfer (OT\+1\-n) setting involves two parties, the sender S and the receiver R. More specificly, the sender has n values and the receiver wants to obtain only one value from them. At the same time, the receiver’s choice is unknown to the sender and the receiver gets no extra information about the other values he doesn’t choose. In this paper, we firstly propose an efficient OT\+1\-n protocol based on the decisional Diffie-Hellman (DDH) hard problem assumption with full simulation in the standard malicious model. The full simulation means that the protocol can be simulated when the receiver and the sender are corrupted respectively under the ideal/real simulation paradigm, and also this is the highest security level in the standard stand-alone model. The idea behind the protocol mainly benefits from the dual-mode cryptosystem and the combination of zero-knowledge proof of knowledge (ZKPOK) of Diffie-Hellman tuples. The protocol has constant number of interactive complexity, and the computation and communication complexity is just liner of n.
  • Related Articles

    [1]Shi Haihe, Lan Sunwen, Liu Riming, Shi Haipeng, Wang Lan, Zhong Linhui. Unified Formal Construction and Isabelle Verification of the Dynamic Programming Algorithms for Biological Sequence Alignment[J]. Journal of Computer Research and Development, 2025, 62(1): 119-131. DOI: 10.7544/issn1000-1239.202330698
    [2]Wang Yong, Fang Juan, Ren Xingtian, and Lin Li. Formal Verification of TCG Remote Attestation Protocols Based on Process Algebra[J]. Journal of Computer Research and Development, 2013, 50(2): 325-331.
    [3]Qian Zhenjiang, Liu Wei, and Huang Hao. OSOSM:Operating System Object Semantics Model and Formal Verification[J]. Journal of Computer Research and Development, 2012, 49(12): 2702-2712.
    [4]Jia Yangli, Li Zhoujun, Xing Jianying, Chen Shikun. Advances in the Component Verification Technology Based on Model Checking[J]. Journal of Computer Research and Development, 2011, 48(6): 913-922.
    [5]Xiang Sen, Chen Yiyun, Lin Chunxiao, and Li Long. Safety Verification of Dynamic Storage Management in Coq[J]. Journal of Computer Research and Development, 2007, 44(2): 361-367.
    [6]Chen Yunji, Ma Lin, Shen Haihua, and Hu Weiwu. Formal Verification of Godson-2 Microprocessor Floating-Point Division Unit[J]. Journal of Computer Research and Development, 2006, 43(10): 1835-1841.
    [7]Zhang Heng, Shen Haihua. Function Verification of Godson-2 Processor[J]. Journal of Computer Research and Development, 2006, 43(6): 974-979.
    [8]Deng Yanjun and Xu Xuezhou. Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Synchrony[J]. Journal of Computer Research and Development, 2005, 42(4): 676-683.
    [9]Wang Haixia and Han Chengde. Formal Method Research on Integer Multiplier Verification[J]. Journal of Computer Research and Development, 2005, 42(3).
    [10]Zhou Jiantao, Shi Meilin, Ye Xinming. Formal Verification Techniques in Workflow Process Modeling[J]. Journal of Computer Research and Development, 2005, 42(1): 1-9.

Catalog

    Article views (1855) PDF downloads (549) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return