SKALP: Secure key agreement and lightweight protocol for dew-assisted IoT enabled edge computing

IF 2.5 4区 计算机科学 Q3 TELECOMMUNICATIONS Transactions on Emerging Telecommunications Technologies Pub Date : 2024-09-10 DOI:10.1002/ett.5035
Saeed Ullah Jan, Anwar Ghani, Abdulrahman Alzahrani, Muhammad Usman Tariq, Fahad Algarni, Husnain Abbas Naqvi
{"title":"SKALP: Secure key agreement and lightweight protocol for dew-assisted IoT enabled edge computing","authors":"Saeed Ullah Jan,&nbsp;Anwar Ghani,&nbsp;Abdulrahman Alzahrani,&nbsp;Muhammad Usman Tariq,&nbsp;Fahad Algarni,&nbsp;Husnain Abbas Naqvi","doi":"10.1002/ett.5035","DOIUrl":null,"url":null,"abstract":"<p>The Internet of Things (IoT) is a transformative technology that has found applications in diverse domains, including automation, logistics, grid, transportation, healthcare, and more. In these domains, IoT systems generate a significant amount of data, which can be stored in a cloud. However, cloud computing may not be practical in certain delay-sensitive IoT applications with complex operations. To address this, fog and edge computing paradigms have been introduced, but they rely on a reliable internet connection for proper functioning. The dew computing paradigm, a novel concept, allows the execution of various applications in the IoT environment, with or without internet connectivity. However, ensuring data confidentiality and integrity during transmission and storage in such an environment remains a significant challenge. Therefore, a fail-safe and highly effective security mechanism is yet to be proposed. This study introduces a protocol that utilizes the elliptic curve cryptography and secure hash algorithm to design a secure key agreement and lightweight protocol (SKALP). SKALP security is formally analyzed using BAN (Burrows-Abadi-Needham) logic, ROM (Random Oracle Model), RoR (Real-Or-Random) model, and ProVerif (Protocol Verifier) simulation while informally discussing it to evaluate its resistance against well-known attacks. Additionally, the performance analysis of SKALP considers the costs associated with communication and computation. The findings from the comparative analysis indicate that the SKALP demonstrates a higher level of superiority than its competitors.</p>","PeriodicalId":23282,"journal":{"name":"Transactions on Emerging Telecommunications Technologies","volume":"35 9","pages":""},"PeriodicalIF":2.5000,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions on Emerging Telecommunications Technologies","FirstCategoryId":"94","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/ett.5035","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"TELECOMMUNICATIONS","Score":null,"Total":0}
引用次数: 0

Abstract

The Internet of Things (IoT) is a transformative technology that has found applications in diverse domains, including automation, logistics, grid, transportation, healthcare, and more. In these domains, IoT systems generate a significant amount of data, which can be stored in a cloud. However, cloud computing may not be practical in certain delay-sensitive IoT applications with complex operations. To address this, fog and edge computing paradigms have been introduced, but they rely on a reliable internet connection for proper functioning. The dew computing paradigm, a novel concept, allows the execution of various applications in the IoT environment, with or without internet connectivity. However, ensuring data confidentiality and integrity during transmission and storage in such an environment remains a significant challenge. Therefore, a fail-safe and highly effective security mechanism is yet to be proposed. This study introduces a protocol that utilizes the elliptic curve cryptography and secure hash algorithm to design a secure key agreement and lightweight protocol (SKALP). SKALP security is formally analyzed using BAN (Burrows-Abadi-Needham) logic, ROM (Random Oracle Model), RoR (Real-Or-Random) model, and ProVerif (Protocol Verifier) simulation while informally discussing it to evaluate its resistance against well-known attacks. Additionally, the performance analysis of SKALP considers the costs associated with communication and computation. The findings from the comparative analysis indicate that the SKALP demonstrates a higher level of superiority than its competitors.

Abstract Image

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
SKALP:用于露水辅助物联网边缘计算的安全密钥协议和轻量级协议
物联网(IoT)是一项变革性技术,已被应用于自动化、物流、电网、交通、医疗保健等多个领域。在这些领域,物联网系统会产生大量数据,这些数据可以存储在云中。然而,在某些操作复杂、对延迟敏感的物联网应用中,云计算可能并不实用。为解决这一问题,人们引入了雾计算和边缘计算范例,但它们的正常运行依赖于可靠的互联网连接。露计算范例是一个新颖的概念,它允许在有或没有互联网连接的情况下,在物联网环境中执行各种应用。然而,在这样的环境中,如何确保数据在传输和存储过程中的保密性和完整性仍然是一个重大挑战。因此,一种万无一失且高效的安全机制仍有待提出。本研究介绍了一种利用椭圆曲线密码学和安全哈希算法来设计安全密钥协议和轻量级协议(SKALP)的协议。本研究利用 BAN(Burrows-Abadi-Needham)逻辑、ROM(Random Oracle Model)、RoR(Real-Or-Random)模型和 ProVerif(Protocol Verifier)模拟对 SKALP 的安全性进行了正式分析,同时对其进行了非正式讨论,以评估其对众所周知的攻击的抵抗能力。此外,SKALP 的性能分析还考虑了与通信和计算相关的成本。比较分析的结果表明,SKALP 比其竞争对手表现出更高的优越性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
8.90
自引率
13.90%
发文量
249
期刊介绍: ransactions on Emerging Telecommunications Technologies (ETT), formerly known as European Transactions on Telecommunications (ETT), has the following aims: - to attract cutting-edge publications from leading researchers and research groups around the world - to become a highly cited source of timely research findings in emerging fields of telecommunications - to limit revision and publication cycles to a few months and thus significantly increase attractiveness to publish - to become the leading journal for publishing the latest developments in telecommunications
期刊最新文献
Issue Information Research and Implementation of a Classification Method of Industrial Big Data for Security Management Moving Target Detection in Clutter Environment Based on Track Posture Hypothesis Testing Spiking Quantum Fire Hawk Network Based Reliable Scheduling for Lifetime Maximization of Wireless Sensor Network Optimized Data Replication in Cloud Using Hybrid Optimization Approach
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1