【摘 要】
：
针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理
【机 构】
：
中山大学工学院,中山大学信息科学与技术学院
论文部分内容阅读
针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理,使用Diffie-Hellman（DH）算法实现数据交换,同时生成临时会话密钥.由此节省了登录的运算开销,且协议具有前向安全性.研究从形式化论证角度出发,利用通用可组合安全认证理想函数FAUTH模型和密钥交换理想函数FKE模型,构建πpAKE的通用可组合安全模型,并在此模型下,对πpAKE安全性进行论证,结果表明,该协议具有通用可组合的安全
其他文献
目的:细菌的耐药在全世界范围内越来越严重,具有突出的耐药性的细菌统称为ESKAPE病原菌。方法:本研究回顾性分析了重庆医科大学附属第二医院2016年1月到2017年11月ESKAPE血流
通过在三江源高寒地区建设曲麻莱至不冻泉公路,从项目决策、规模标准、建设管理、实施效果及相关问题的研究,谈在三江源高寒地区进行公路建设的体会。
《中华人民共和国中医药法》(以下简称《中医药法》)创立了中医医术确有专长人员医师资格考核制度,考核制度有其独特的优势和特点,主要表现在申请条件、考核方式、证书效力等方面。考核制度的平稳运行为选拔优秀的中医医术确有专长人才,传承中医药独特技艺等方面都起到了积极作用。但是当大多数省份进入考核报名阶段后,在考核申请条件和材料审查方面暴露出了不少法律问题,有通过信访、行政复议、行政诉讼等途径寻求法律救济的
结合某条公路对改建公路勘测设计常见问题提出自己的观点。
无人机越来越多地应用于现代战争中,各国都非常重视无人机在隐身方面的研究与发展。介绍了反雷达探测与反红外探测两种常规隐身技术的原理及其在无人机上的具体应用,研究了当
基于身份的多接收者签密是基于身份的签密扩展，它以保密且认证的方式传送某一消息给多个接收者．给出基于身份的多接收者签密的定义与安全模型，利用双线性对构造一个新的基于身份