VRF函数的安全性证明

摘要：

可验证随机函数(即VRF函数)在信息安全协议设计中应用广泛,目前的VRF函数主要有基于RSA困难性问题与基于双线性困难性问题,但其安全性证明尚不成熟.可证明安全性基于RO模型方法论,可用于协议的安全性证明,首先介绍了基于双线性困难问题的VRF协议,并且给出了安全性的归约化证明.

关键词：可验证随机函数、双线性困难问题、随机谕示、可证明安全性、归约

所属期刊栏目：29

分类号：TP309(计算技术、计算机技术)

资助基金：教育部博士点基金项目20050512002;桂林电子科技大学科学研究基金项目UF08014Y

在线出版日期：2008-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：4172-4173