论文部分内容阅读
可验证随机函数(即VRF函数)在信息安全协议设计中应用广泛,目前的VRF函数主要有基于RSA困难性问题与基于双线性困难性问题,但其安全性证明尚不成熟。可证明安全性基于RO模型方法论,可用于协议的安全性证明,首先介绍了基于双线性困难问题的VRF协议,并且给出了安全性的归约化证明。
VRF函数的安全性证明
【摘 要】
：
可验证随机函数(即VRF函数)在信息安全协议设计中应用广泛,目前的VRF函数主要有基于RSA困难性问题与基于双线性困难性问题,但其安全性证明尚不成熟。可证明安全性基于RO模型
【机 构】
：
桂林电子科技大学数学与计算科学学院,河南省轻工业学校,河南科技学院数学系
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年16期
其他文献
教育是面向未来的事业。关于未来教育的研究自20世纪60年代便开始盛行。经过时代的变迁与世纪的交替,如今人类社会开启了新一轮科技革命,人工智能与大数据的诞生将引领未来教育智慧化的大发展。事实上,未来教育是教育在未来愿景的期许下发展的应然状态,未来教育中的中学教师是学生在未来挑战中把握机遇并生存下去的指导者。教育向来都是社会建设的首要环节,教师的素养水平一定程度上深刻影响着未成年的未来成长。可以说,中
目的观察金双歧片治疗对小儿肺炎合并重型急性腹泻的临床疗效。方法选取2013年1月至2014年6月我院婴幼儿肺炎合并重型急性腹泻住院患儿46例,随机分对照组20例,给予常规对症治
以三聚氰酸钠（CANa）和三氨基胍盐酸盐（TAG-HCl）为原料,通过一步复分解反应制备了一种富氮含能化合物——2,4,6-三氧-[1,3,5]三嗪烷-1-三氨基胍盐（1）,收率91%。采用X-射线单晶衍射、
本文以贵州大学农学院植物保护专业本科生分子植物病理学课程的教学为例,对教学中存在的若干问题进行探索。分别从课程设置、教材配置、教学方式、教师队伍搭配、考核方式等
重庆版《新华日报》(1938—1947)是中共党史上的一颗璀璨明珠,“新华通讯”则是这颗明珠坐向沙土一面的熠熠光泽,任时光流转而默默沉淀。“新华通讯”作为重庆版《新华日报》
介绍了平煤五矿己17-23180工作面的基本情况，探索实施了切眼边扩边安液压支架工艺，对边扩边安劳动组织进行了有效尝试，确保了安全生产，其技术经验具有一定的实用性和推广价值。
国际商务合同翻译过程中涉及多个专业的术语翻译,如法律术语、国际贸易术语、保险术语和金融术语等。作者认为在国际商务合同翻译教学中除了讲授国际商务合同的基础知识、语