亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

Efficient Provably-Secure Dynamic ID-Based Authenticated Key Agreement Scheme with Enhanced Security Provision

计算机科学 方案(数学) 钥匙(锁) 计算机安全模型 协议(科学) 前向保密 计算机网络 安全性分析 封面(代数) 计算机安全 密钥协议 密码协议 可证明的安全性 保安服务 数字签名 密码学 公钥密码术 信息安全 密钥分发 散列函数 加密 工程类 数学分析 病理 替代医学 机械工程 医学 数学
作者
Dariush Abbasinezhad‐Mood,Seyyed Majid Mazinani,Morteza Nikooghadam,Arezou Ostad Sharif
出处
期刊:IEEE Transactions on Dependable and Secure Computing [IEEE Computer Society]
卷期号:: 1-1 被引量:25
标识
DOI:10.1109/tdsc.2020.3024654
摘要

Providing security and privacy in today's digital era is very crucial. In order to ensure that the sensitive user data can only be accessed by a valid server, the user and server should agree on a common key in advance. To do so, in the last decade, a number of dynamic ID-based authenticated key agreement (DIDAKA) protocols have been proposed, which can guarantee subsequent secure communications of users and servers. Nevertheless, investigating the related works indicates that the existing DIDAKA schemes suffer from one or more security challenges. Quite recently, Xie et al. have presented an interesting anonymous DIDAKA protocol to cover the security weaknesses of previous schemes; nonetheless, we found that their scheme is susceptible to three attacks. Therefore, to remedy the security limitations, in this paper, we propose a security-enhanced anonymous DIDAKA protocol, which not only keeps the merits of Xie et al.'s scheme, but also offers better execution time compared to their proposed one. To demonstrate the security of the proposed scheme, we present both formal security proof and automatic formal verification of security and to show its efficiency, we present an extensive comparative performance analysis. In conclusion, the results are indicative of the priority of the proposed scheme.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
12秒前
自由飞阳完成签到,获得积分10
15秒前
小羡完成签到 ,获得积分10
22秒前
滕皓轩完成签到 ,获得积分20
30秒前
aDou完成签到 ,获得积分10
35秒前
George完成签到,获得积分10
36秒前
oscar发布了新的文献求助10
41秒前
oscar完成签到,获得积分10
50秒前
1分钟前
1分钟前
1分钟前
2分钟前
疯狂的自行车完成签到,获得积分20
2分钟前
Akim应助科研通管家采纳,获得10
3分钟前
我睡觉不会困12138完成签到 ,获得积分10
3分钟前
脑洞疼应助xiongdi521采纳,获得10
3分钟前
阿泽完成签到 ,获得积分10
3分钟前
疯狂的自行车关注了科研通微信公众号
3分钟前
kohu完成签到,获得积分10
3分钟前
4分钟前
kohu发布了新的文献求助10
4分钟前
4分钟前
正直的松鼠完成签到 ,获得积分10
4分钟前
核桃发布了新的文献求助10
5分钟前
Xw关闭了Xw文献求助
5分钟前
5分钟前
Xw关闭了Xw文献求助
6分钟前
6分钟前
Swear完成签到 ,获得积分10
6分钟前
勤恳冰淇淋完成签到 ,获得积分10
6分钟前
6分钟前
El发布了新的文献求助10
6分钟前
6分钟前
李健应助El采纳,获得10
6分钟前
义气雁完成签到 ,获得积分10
7分钟前
7分钟前
xiongdi521发布了新的文献求助10
7分钟前
美罗培南完成签到 ,获得积分10
7分钟前
lige完成签到 ,获得积分10
7分钟前
7分钟前
高分求助中
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3990075
求助须知:如何正确求助?哪些是违规求助? 3532108
关于积分的说明 11256369
捐赠科研通 3271016
什么是DOI,文献DOI怎么找? 1805171
邀请新用户注册赠送积分活动 882270
科研通“疑难数据库(出版商)”最低求助积分说明 809228