【摘 要】
：
公钥密码算法的可证明安全性理论,明确了密码体制的安全定义;建立起一种基本定义、基于归约证明的通用密码学研究方法;通过严格的证明把体制的安全性与已知的计算性难题或密
【机 构】
：
山东交通学院海运学院基础部,山东理工大学理学院,中科国民科学技术研究院,北京博文广成信息安全技术有限公司
论文部分内容阅读
公钥密码算法的可证明安全性理论,明确了密码体制的安全定义;建立起一种基本定义、基于归约证明的通用密码学研究方法;通过严格的证明把体制的安全性与已知的计算性难题或密码学关联起来.可证明安全性理论的研究推进了密码体制的标准化进程,很多标准化组织将密码体制的安全证明作为密码体制必备的安全属性,要求新提交的密码学标准中的算法能通过安全性证明,目前采用的密码学标准都遵从这种安全规范.在此基础上,证明了CFL是密钥不可恢复可证明安全的,同时证明了当CFL基于SM2,Hash函数满足随机语言机时,其为EUF-CMA安全
其他文献
随着经济和社会的迅猛发展,企业之间的竞争主要体现在供应链之间的竞争。供应链可分为计划、采购、制造、配送和退货5大部分,而采购管理是供应链间竞争的关键,是联系供应链企
<正> 现行高级中学《生物》甲种本,在讲述“三个胚层分化”的时候谈到脊索是由中胚层发育而来,但在“动物的个体发育”一部分中又没再提及到。到底脊索是什么结构呢?它是脊索
个人所得税与劳动供给的关系表现为三个方面：收入效应、替代效应、对劳动结构的影响。替代效应包括正激励替代效应和负激励替代效应。我国个人所得税纳税人数相对比较少，纳税所
<正>乙脑减毒活疫苗副反应小,注射针次少,但乙脑减毒括疫苗在生产过程中由于使用地鼠肾细胞,存在动物源性的各种污染和变化因素不易控制。所以我们尝试使用传代细胞制备乙脑
<正>监狱警察队伍的专业化是以提高罪犯改造质量为目标,以能力建设为核心,以专业化分工和科学分类分级管理为基础,将监狱警察塑造成一支适应监狱工作需要的专业齐全、数量充
雇佣法院是英国专门处理雇主与其雇员之间基于雇佣权利纠纷的独立司法机构。近五年来英国实施的系列经济改革以削减企业运行成本、促进企业创新、鼓励企业招聘新雇员为目标。
通过分析岭南士人的群体性格探索明清岭南士人园林的理景艺术特征。从设计营造层面对岭南传统士人宅园的布局、掇山、置石、理水、借景、装饰等进行综合分析,总结出岭南士人
教育乃百年大计,尤其是在新课程的时代背景下,高中英语教学质量与教学方法都应该得到相应的提高与深化,然而在实际的教学过程当中,依旧存在着诸多的问题。该文就新课程背景下
在高中英语课堂上,教师的授课其实主要起到了教学媒介的作用,且英语教师的教学素质与其授课过程对学生学习英语是至关重要的。在英语课程中,教师进行了学习意图、学习内容以
平台型企业作为一种新的组织形态在互联网时代彰显出强大生命力,当前,企业平台化或加入某个平台已成为企业持续发展的关键。借助平台,组织间交易成本得以降低,企业能够低成本