【摘 要】
：
设计安全、高效的多服务器环境下匿名身份认证协议是当前安全协议领域的研究热点.基于广泛接受的攻击者模型,对多服务器环境下的3个代表性匿名认证协议进行了安全性分析.指出
【机 构】
：
北京大学信息科学技术学院,北京大学软件与微电子学院,软件工程国家工程研究中心,高可信软件技术教育部重点实验室（北京大学）
【基金项目】
：
国家自然科学基金(61472016);国家重点研发计划(2016YFB0800603,2017YFB1200700)~~
论文部分内容阅读
设计安全、高效的多服务器环境下匿名身份认证协议是当前安全协议领域的研究热点.基于广泛接受的攻击者模型,对多服务器环境下的3个代表性匿名认证协议进行了安全性分析.指出：（1）Wan等人的协议无法实现所声称的离线口令猜测攻击,且未实现用户匿名性和前向安全性;（2）Amin等人的协议同样不能抵抗离线口令猜测攻击,且不能提供匿名性,对两种破坏前向安全性的攻击是脆弱的;（3）Reedy等人的协议不能抵抗所声称的用户仿冒攻击和离线口令猜测攻击,且无法实现用户不可追踪性.突出强调这些协议失败的根本原因在于,违反协议设计
其他文献
通过对中国城市交通发展历程的回顾与发展趋势的展望，分析了中国城市在新的发展时期城市交通问题产生的根源。要保持城市交通的正常运行，需要从一个新的角度，重新反思现行政策、
<正>科学进步与科技发明改变了我们的生活,我们在享受科学成果时是否会想到,许多发明是科学家们付出了巨大的代价换来的,甚至许多科学家用自己的身体做实验。用身体研究消化
开展安全质量标准化活动是建立在几十年质量标准化工作实践基础上的一次创新。分析了新形势下安全质量标准化的新特点 ,提出了煤矿安全质量标准化工作的基本思路和目标。要全
简要介绍了新能源汽车的概念,并探索了新能源汽车对环境和能源效率的影响,进而提出了推动新能源汽车发展的方法,以期能为我国汽车工业发展作贡献。
选用高油花生品种豫花15和高蛋白品种XB023,研究了土壤不同浓度镉胁迫对花生生理特性和产量品质的影响。结果表明,轻、中度镉胁迫(1.0mgkg?1和2.5mgkg?1)促进花生营养生长,重
池州市作为国家首个生态经济示范区,经济社会的快速发展对其生态环境形成了较大压力。首先选取17个指标对池州市经济发展状况与生态环境质量进行综合评价,然后运用协调发展度
方便快捷的路网交通是地区经济发展、文化交流和社会保障的基础前提。随着经济的发展,公路建设情况对于国家经济民生等各方面的影响越加重要。公路工程试验检测工作是公路质
从科研生命周期、学科专业和大数据角度阐释了科学数据素养的内容与特征,将国外高校图书馆数据素养教育实践归纳为利用Libguides建立科学数据管理资源导航、数据素养通识教育
以小麦品种皖麦54为试验材料,研究不同氮肥运筹对孕穗期受渍冬小麦旗叶叶绿素荧光特性的影响。结果表明,孕穗期小麦旗叶叶绿素含量最高,随后下降,至成熟期降到最低;渍水处理
对国内煤矿质量标准化的发展历程进行了回顾,对目前主要煤矿质量标准化的动态进行综述,从管理层面提出并诠释煤矿质量标准化内涵,从操作层面指出决策、管理、操作者的职责和