对一个强安全的认证密钥交换协议的分析

来源 :电子与信息学报 | 被引量 : 6次 | 上传用户：wenshi_shen

【摘要】

：

在2012年第15届国际公钥密码学(PKC)年会上,Fujioka等人利用密钥封装机制(KEM)提出了认证密钥交换(AKE)协议的一个通用构造,称为GC协议,并在CK+模型下证明了该协议的安全性。该文对GC协议进行了安全性分析,指出该协议是不安全的,难于抵抗不知道任何秘密信息的外部攻击者实施的假冒攻击,进一步分析了原协议安全性证明中被疏忽之处。

【作者】

：

胡学先魏江宏叶茂

【机构】

：

解放军信息工程大学,中国科学院软件研究所

【出处】

：

电子与信息学报

【发表日期】

：

2013年09期

【关键词】

：

密码学认证密钥交换可证明安全假冒攻击 Cryptography Authenticated Key Exchange （AKE） Provable sec

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

5G网络下新的异构签密方案

随着5G网络的发展,异构网络逐渐成为5G网络的研究重点。而异构签密方案可以保证不同密码体制下数据之间的机密性与不可伪造性。文章首先对一个无证书密码体制下的签密方案进行安全性分析,指出该方案不满足签名的不可伪造性,即存在恶意的KGC可以对签名进行伪造。为了提高原方案的安全性,文章提出了一种新的签密方案,同时将该方案扩展到传统公钥密码体制到无证书密码体制下的异构网络环境中。该方案克服了原方案存在的安全

期刊

异构系统签密KGC不可伪造性heterogeneous systemsigncryptionKGCunforgeability

人工智能发展应用过程的安全威胁分析及解决策略研究

随着云计算、大数据的发展,人工智能应用日益普及。从小巧时尚、易于携带的智能可穿戴设备到影响和改变人类生活的智能缴费、自动驾驶、智慧交通,人工智能在方便人们生活、工作的同时,也不知不觉中给使用者带来越来越多的安全隐患。文章以人工智能的安全分析为主题开展论述。首先回顾了人工智能近半个世纪的发展历史和应用现状;接着从当前的研发应用、技术发展等方面分析了其面临的安全风险;然后从构建安全监管框架、制订安全标

期刊

人工智能安全威胁安全防护

矿用电机液压拆卸装置研制

近年来，随着煤矿机械化程度的不断提高，矿用电机的使用，也趋向大功率化，为提高矿用电机的检修质量，研制了矿用电机液压拆卸装置，该装置适用各类型矿用电机的拆卸，具有操作简单、方便

期刊

中心对正机体固定液压系统工装结构矿用电机液压拆卸装置研制Centre alignment Body fixed Hydraulic system

3P型机器人用于锻压加工的可行性分析

3P即位置预选程序控制系统的英文缩写，用此原理制成的机器人（大多数工厂的习惯仍称为机械手）称为 3P型机器人，简称为 3PIR。本文讨论 3PIR的性能及造价。

期刊

锻压加工可行性分析机器人3P型

专排炸弹的“背包”机器人

美国iRobot公司与德国国防军签署了一项协议，由iRobot公司向德国出售18个Packbot炸弹处理型机器人，并负责其配件供应和维修保障。