Provably secure optimal homomorphic signcryption for satellite-based internet of things

被引:2
|
作者
Farrea, Kerry Anne [1 ,3 ]
Baig, Zubair [1 ,3 ]
Doss, Robin Ram Mohan [1 ,3 ]
Liu, Dongxi [2 ]
机构
[1] Deakin Univ, Deakin Cyber Res & Innovat Ctr Deakin Cyber, Geelong, Australia
[2] 61 CIRSO, Sydney, Australia
[3] Cyber Secur Cooperat Res Ctr CSCRC, Perth, Australia
关键词
Satellite-based internet of things; Homomorphic signcryption; Privacy preservation; Hyper elliptic curve; Scyther; Formal security validation; SCHEME; COMMUNICATION; TECHNOLOGIES; PROTOCOL;
D O I
10.1016/j.comnet.2024.110516
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Satellites have long been reliable and widely used mediums for communication. With recent advancements in the Internet of Things (IoT), satellite -based IoT has emerged, enhancing global connectivity by enabling realtime communication between remote sensing devices and central hubs through satellite links. However, secure and authenticated communication between Low Earth Orbit (LEO) satellites and resource -constrained ground devices remains underexplored. This paper introduces a novel homomorphic signcryption scheme designed for satellite IoT environments. Our scheme employs hyperelliptic curve cryptography and homomorphic encryption to facilitate the privacy -preserving transmission of aggregated data from multiple IoT devices to LEO satellites. We benchmark our homomorphic signcryption scheme against several established schemes tailored for different network environments, including for satellite networks, Identity -based Signcryption for Smart Grids, 3 -Factor Authentication schemes and heterogeneous Vehicular Ad -hoc Networks (VANETs) encryption schemes. Our scheme demonstrates substantial improvements in computational efficiency, communication overhead, and storage capacity. It reduces computational costs by 90% to 99%, communication overhead by 41% to 92%, and storage demands by 62% to 93% compared to existing methods. These quantitative findings demonstrate the practical viability of our approach for satellite IoT deployments with limited resources. Additionally, the robustness of our approach is confirmed through formal security validation using BAN Logic and Scyther, which verifies its strong security, optimal performance, and privacy preservation capabilities, making it ideally suited for real -world satellite IoT systems.
引用
收藏
页数:17
相关论文
共 50 条
  • [1] Provably Secure Homomorphic Signcryption
    Rezaeibagha, Fatemeh
    Mu, Yi
    Zhang, Shiwei
    Wang, Xiaofen
    PROVABLE SECURITY, PROVSEC 2017, 2017, 10592 : 349 - 360
  • [2] Provably Secure (Broadcast) Homomorphic Signcryption
    Rezaeibagha, Fatemeh
    Mu, Yi
    Zhang, Shiwei
    Wang, Xiaofen
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2019, 30 (04) : 511 - 529
  • [3] Provably Secure Identity-Based Signcryption Scheme for Crowdsourced Industrial Internet of Things Environments
    Karati, Arijit
    Islam, S. K. Hafizul
    Biswas, G. P.
    Bhuiyan, Md Zakirul Alam
    Vijayakumar, Pandi
    Karuppiah, Marimuthu
    IEEE INTERNET OF THINGS JOURNAL, 2018, 5 (04): : 2904 - 2914
  • [4] Age-Critical and Secure Blockchain Sharding Scheme for Satellite-Based Internet of Things
    Wang, Bingzheng
    Jiao, Jian
    Wu, Shaohua
    Lu, Rongxing
    Zhang, Qinyu
    IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2022, 21 (11) : 9432 - 9446
  • [5] Age-Optimal Network Coding HARQ Scheme for Satellite-Based Internet of Things
    Ding, Jing
    Jiao, Jian
    Huang, Jianhao
    Wu, Shaohua
    Lu, Rongxing
    Zhang, Qinyu
    IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (21) : 21984 - 21998
  • [6] Grant Free Age-Optimal Random Access Protocol for Satellite-Based Internet of Things
    Yang, Tao
    Jiao, Jian
    Wu, Shaohua
    Lu, Rongxing
    Zhang, Qinyu
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2022, 70 (06) : 3947 - 3961
  • [7] A provably secure RFID authentication protocol based on ECQV for the medical internet of things
    Abhay Kumar Agrahari
    Shirshu Varma
    Peer-to-Peer Networking and Applications, 2021, 14 : 1277 - 1289
  • [8] A provably secure RFID authentication protocol based on ECQV for the medical internet of things
    Agrahari, Abhay Kumar
    Varma, Shirshu
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2021, 14 (03) : 1277 - 1289
  • [9] Signal Estimation in Cognitive Satellite Networks for Satellite-Based Industrial Internet of Things
    Liu, Mingqian
    Qu, Nan
    Tang, Jie
    Chen, Yunfei
    Song, Hao
    Gong, Fengkui
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (03) : 2062 - 2071
  • [10] A secure and lightweight certificateless hybrid signcryption scheme for Internet of Things
    Gong, Bei
    Wu, Yong
    Wang, Qian
    Ren, Yu-heng
    Guo, Chong
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2022, 127 : 23 - 30