VRF函数的安全性证明.PDFVIP

第29 卷 第16 期 计算机工程与设计 2008 年8 月 Vol . 2 9 N o . 16 Computer Engineering and Design Aug. 2008 VRF 函数的安全性证明 1 2 3 刘忆宁 ， 陈素霞 ， 吴 亮 (1. 桂林电子科技大学数学与计算科学学院，广西桂林54 1004 ；2. 河南省轻工业学校，河南郑州450006 ； 3. 河南科技学院数学系，河南新乡453003) ( ) 摘 要：可验证随机函数 即VRF 函数 在信息安全协议设计中应用广泛，目前的VRF 函数主要有基于RSA 困难性问题与基 于双线性困难性问题，但其安全性证明尚不成熟。可证明安全性基于RO 模型方法论，可用于协议的安全性证明，首先介绍 了基于双线性困难问题的VRF 协议，并且给出了安全性的归约化证明。 关键词：可验证随机函数; 双线性困难问题; 随机谕示; 可证明安全性; 归约 中图法分类号：TP309 文献标识码：A 文章编号：1000-7024 (2008) 16-4 172-02 Security proof for verifiable random function 1 2 3 LIU Yi-ning , CHEN Su-xia , WU Liang (1. School of Mathematics and Computational Sciences, Guilin University of Electronic Technology, Guilin 54 1004, China; 2. Henan Light Industry School, Zhengzhou 450006; 3. Department of Mathematics, Henan Institute of Science and Technology, Xinxiang 453003, China) Abstract ：Verifiable random function is used to design the protocol of information security recently. VRF is based on RSA hard problem or bilinear hard problem, but the proof of security is not theoretical. RO theory is used to prove the security of protocol. Firstly, VRF based on bilinear hard problem is introduced, and the proof of the security for VRF based on bilinear hard problem is given with reduction theory. Key words ：verifiable random function; bilinear hard problem; random oracle; provable security; reduction