模糊提取器的构造与安全性证明

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:holyturtle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
密码系统的密钥一般都是均匀随机的,在密码系统运行过程中也经常会有随机数参与,因此均匀随机且精确再生的字符串在密码学中起着至关重要的作用。然而在现实生活中,能够直接产生均匀随机且精确再生字符串的随机源是很稀有的,噪音随机源却大量存在,例如人的生物信息。噪音随机源有足够大的最小熵但不是均匀分布的,且每次采样的结果并不完全相同,而是有一些误差。如何利用这些噪音随机源产生均匀随机且精确再生的字符串正是模糊提取器所关心的问题。模糊提取器可以从噪音随机源中提取一个均匀随机的字符串。在提取一个均匀随机字符串R的同时,它还会生成一个公开帮助字符串P来纠错,确保R是可以精确再生的。但是模糊提取器还有如下问题限制其实用性:-无法抵御主动攻击的敌手.为了保证R可以精确再生,公开帮助字符串P必须要妥善地保管。如果主动攻击的敌手篡改了P,那么用户可能会得到一个错误的R’。将一个错误的R’用于密码系统中,可能会造成进一步的损失。-无法保证对同一噪音随机源进行多次提取的安全性.模糊提取器只能保证从一个噪音随机源中提取一个字符串的安全性。但是,如果对一个噪音随机源(如人的生物信息)只能进行一次提取,这将是对噪音随机源的极大浪费。为了解决上述问题,鲁棒模糊提取器和可重用模糊提取器的概念相继提出。鲁棒模糊提取器可以抵御主动攻击的敌手,任意对P的篡改,都会被监测到;可重用模糊提取器保证了从一个噪音随机源中进行多次提取的安全性。目前虽然已有多个鲁棒模糊提取器和可重用模糊提取器的构造方法,但是还有许多不足,例如:(1)现有的鲁棒模糊提取器的熵损都比较大,故所提取的密钥比特数比较少。(2)现有的可重用模糊提取器要么基于随机预言机,要么基于非标准假设,要么只能纠亚线性级的错误,还没有标准假设下可以纠线性级错误的鲁棒可重用模糊提取器的构造方法。(3)鲜有人研究构造鲁棒性和可重用性兼备的模糊提取器,更加没有标准模型下的鲁棒可重用模糊提取器的构造方法。(4)随着量子技术的发展,传统的基于数论困难问题的密码方案或许不再安全。LWE(learning with error)问题具有公认的抗量子特性,而现有的基于LWE假设的(可重用)模糊提取器只能纠对数级错误。而且尚不存在基于LWE假设的鲁棒可重用模糊提取器。针对以上四个不足,我们对模糊提取器进行了深入研究,并取得了如下研究成果:·构造了一个提取长度更长的鲁棒模糊提取器.我们介绍了计算安全鲁棒模糊提取器的定义,将统计意义下的安全性放松到了计算意义下的安全性。我们构造了一个基于子群成员问题困难性和离散对数假设的鲁棒模糊提取器。与目前最优的Cramer等人设计的鲁棒模糊提取器(EUROCRYPT,2008)相比,输入相同的噪音随机源,我们的方案可以提取更长的字符串。·构造了第一个基于标准假设且可以纠线性级错误的可重用模糊提取器.我们基于Decisional Diffie-Hellman(DDH)假设构造了一个可重用模糊提取器,该模糊提取器是第一个基于标准假设的、可以纠线性级错误的可重用模糊提取器,其安全性可以紧致规约到DDH假设上。我们的构造简洁高效,与传统的非可重用模糊提取器相比,只增加了两个群运算和一个哈希运算。·首次提出鲁棒可重用模糊提取器的通用构造方法.我们给出了鲁棒可重用模糊提取器(robustly reusable fuzzy extractor,rrFE)的定义,对鲁棒性和可重用性进行了形式化定义。同时我们提出了两个rrFE的通用构造方法。1)我们提出了对称密钥封装机制(SKEM),并定义了其key-shift安全性。然后以SKEM、同态的有损代数过滤器、同态提取器和一个同态安全梗概为组件,提出了一个rrFE的通用构造方法。通过对相应组件实例化,我们得到了第一个基于标准假设的鲁棒可重用模糊提取器,该rrFE还可以纠线性级错误。2)我们以支持辅助输入认证加密方案、同态哈希函数和一个同态安全梗概为组件,提出了 rrFE的另一种通用构造方法。通过对相应组件进行实例化,我们得到了第一个在非配对群上的、高效的、基于DDH假设的鲁棒可重用模糊提取器。该提取器同样可以纠线性级错误。·构造了第一个基于LWE假设的、纠线性级错误的可重用模糊提取器和第一个基于LWE假设的鲁棒可重用模糊提取器.我们首先基于LWE假设构造了一个具体的可重用模糊提取器,然后设计了一个鲁棒可重用模糊提取器的通用构造方法。1)我们提出了一个基于LWE假设的具体的构造方案,该方案是第一个基于LWE假设的、可以纠线性级错误的可重用模糊提取器。该模糊提取器对噪音随机源的结构没有特殊要求,只要求其具有足够大的最小熵。2)我们以unique-input key-shift安全的伪随机函数、同态哈希函数和同态安全梗概为组件,提出了 rrFE的第三种通用构造方法。通过对相应组件进行实例化,我们得到了第一个基于LWE假设的鲁棒可重用模糊提取器。
其他文献
2010年5月15日,国家国防科技工业局在北京主持召开了北京理工大学“十一五”国防预研成果“GTX起爆药技术”鉴定会。中国工程物理研究院董海山院士任鉴定委员会主任,国家民用爆
采用动态真空安定性试验(DVST)方法研究了奥克托今(HMX)的热分解过程,利用普适积分法和微分方程法得到了HMX热分解反应的活化能和指前因子。结果表明,不同恒温温度下HMX的热分解
研究证明,吸烟不仅会危害健康,而且会干扰药物代谢,降低药效,甚至贻误病情。
由于很多患者对药物的认识不足,所以名字相近的药物很容易被混为一体,存在着严重的用药安全隐患。为此,笔者对一些名称仅一字之差的药物列举如下,以供有需要的患者朋友参考。
对一类抛物方程非齐次边值问题,先利用变量替换法,将其非齐次边值问题转化为齐次边值问题,再运用Galerkin方法证明其解的存在性。
目的分析帕罗西汀对脑卒中后焦虑抑郁患者负性情绪及血清细胞因子水平的影响。方法 111例脑卒中后焦虑抑郁患者采用随机数字表法分组,对照组55例给予盐酸舍曲林治疗,观察组56
图G的一个一般pebbling移动是从一个顶点移走p(p≥2)个pebble,而把其中的一个移到与其相邻的一个顶点上.图G的一般pebbling数fgl(G)是最小的正整数n,使得不管n个pebble如何放置在
金属纳米颗粒和碳纳米管是两种重要的纳米材料,要实现碳纳米管的大批量制备,必须首先解决催化剂连续投放问题和催化剂与产物及时导出的问题.通过特殊的反应装置和工艺可以实
进入老年阶段,人的体质和精力开始下降,但这并不意味着性欲和性功能完全消失,此时,正常的性生活仍可维持相当长的一段时期。但生活中,很多人把老年人的性生活当成笑料,认为是“老不
为了充分利用无网格法和有限元法的优点,将无网格伽辽金-有限元耦合方法用于分析温度场问题。根据无网格伽辽金-有限元耦合计算原理得出了耦合区域的形函数,从能量泛函弱变分形