【摘 要】
：
针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理
【机 构】
：
中山大学工学院,中山大学信息科学与技术学院
论文部分内容阅读
针对智能卡登录系统中远程身份认证和密钥交换问题,提出一种具有通用可组合安全的基于口令的匿名认证密钥交换协议——πpAKE.该协议采用匿名技术进行登录认证及信息存储管理,使用Diffie-Hellman（DH）算法实现数据交换,同时生成临时会话密钥.由此节省了登录的运算开销,且协议具有前向安全性.研究从形式化论证角度出发,利用通用可组合安全认证理想函数FAUTH模型和密钥交换理想函数FKE模型,构建πpAKE的通用可组合安全模型,并在此模型下,对πpAKE安全性进行论证,结果表明,该协议具有通用可组合的安全
其他文献
对一类线性耦合动态复杂网络的同步问题进行研究.通过对其部分节点的牵制控制实现该复杂网络所有节点均趋于同一状态,给出该复杂网络达到全局指数同步的条件,运用李雅普诺夫
目的:细菌的耐药在全世界范围内越来越严重,具有突出的耐药性的细菌统称为ESKAPE病原菌。方法:本研究回顾性分析了重庆医科大学附属第二医院2016年1月到2017年11月ESKAPE血流
通过在三江源高寒地区建设曲麻莱至不冻泉公路,从项目决策、规模标准、建设管理、实施效果及相关问题的研究,谈在三江源高寒地区进行公路建设的体会。
目的：观察盐酸氨溴索葡萄糖注射液联合抗生素治疗小儿支气管肺炎的疗效.方法：将130例小儿支气管肺炎患儿随机分为两组,治疗组65例用盐酸氨溴索葡萄糖静脉滴注联合抗生素治疗,对
英富曼会展有限公司与德园汉堡会展公司近日达成协议，将于2015年9月23-25日在印度孟买会展中心举办南亚海事展。
《中华人民共和国中医药法》(以下简称《中医药法》)创立了中医医术确有专长人员医师资格考核制度,考核制度有其独特的优势和特点,主要表现在申请条件、考核方式、证书效力等方面。考核制度的平稳运行为选拔优秀的中医医术确有专长人才,传承中医药独特技艺等方面都起到了积极作用。但是当大多数省份进入考核报名阶段后,在考核申请条件和材料审查方面暴露出了不少法律问题,有通过信访、行政复议、行政诉讼等途径寻求法律救济的
结合某条公路对改建公路勘测设计常见问题提出自己的观点。
无人机越来越多地应用于现代战争中,各国都非常重视无人机在隐身方面的研究与发展。介绍了反雷达探测与反红外探测两种常规隐身技术的原理及其在无人机上的具体应用,研究了当
基于身份的多接收者签密是基于身份的签密扩展，它以保密且认证的方式传送某一消息给多个接收者．给出基于身份的多接收者签密的定义与安全模型，利用双线性对构造一个新的基于身份
去年5月，习近平总书记提出要适应中国经济新常态以后，到现在一年多了。对于中国经济新常态，随着时间的推移，大家对新常态的内涵、认识越来越深刻，对于经济新常态下面临的挑战、困