{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T18:18:47Z","timestamp":1783189127827,"version":"3.54.6"},"reference-count":30,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004775","name":"Gansu Provincial Natural Science Foundation","doi-asserted-by":"publisher","award":["24YFFA016"],"award-info":[{"award-number":["24YFFA016"]}],"id":[{"id":"10.13039\/501100004775","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computers and Electrical Engineering"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.compeleceng.2026.111094","type":"journal-article","created":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T11:14:23Z","timestamp":1776683663000},"page":"111094","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Workflow-level formal analysis of BLE pairing and a lightweight server-assisted key agreement framework"],"prefix":"10.1016","volume":"135","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1611-9017","authenticated-orcid":false,"given":"Tao","family":"Feng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6424-5185","authenticated-orcid":false,"given":"Yu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2174-1214","authenticated-orcid":false,"given":"Yi","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.compeleceng.2026.111094_b1","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/JIOT.2017.2788449","article-title":"Ble beacons for internet of things applications: Survey, challenges, and opportunities","volume":"5","author":"Jeon","year":"2018","journal-title":"IEEE Internet Things J"},{"key":"10.1016\/j.compeleceng.2026.111094_b2","series-title":"Building applications with IBeacon: proximity and location services with bluetooth low energy","author":"Gast","year":"2014"},{"key":"10.1016\/j.compeleceng.2026.111094_b3","series-title":"2016 11th international conference on intelligent systems: theories and applications","first-page":"1","article-title":"Bluetooth low energy (BLE) based geomarketing system","author":"Zaim","year":"2016"},{"issue":"2","key":"10.1016\/j.compeleceng.2026.111094_b4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/JIOT.2015.2506258","article-title":"An indoor location-aware system for an IoT-based smart museum","volume":"3","author":"Alletto","year":"2015","journal-title":"IEEE Internet Things J"},{"key":"10.1016\/j.compeleceng.2026.111094_b5","doi-asserted-by":"crossref","DOI":"10.1109\/JIOT.2025.3611794","article-title":"A comprehensive study and performance evaluation of indoor positioning methods in BLE and UWB technologies","author":"Rashidi","year":"2025","journal-title":"IEEE Internet Things J"},{"key":"10.1016\/j.compeleceng.2026.111094_b6","doi-asserted-by":"crossref","unstructured":"Oliff William, Filippoupolitis Avgoustinos, Loukas George. Impact evaluation and detection of malicious spoofing attacks on BLE based occupancy detection systems. In: Proceedings of the 1st international conference on internet of things and machine learning. 2017, p. 1\u201310.","DOI":"10.1145\/3109761.3109776"},{"key":"10.1016\/j.compeleceng.2026.111094_b7","series-title":"Bluetooth 6 vs 0: Changes, improvements and everything you need to know","author":"TodoAndroid","year":"2024"},{"key":"10.1016\/j.compeleceng.2026.111094_b8","series-title":"2023 IEEE international conference on e-health networking, application & services","first-page":"107","article-title":"Security assessment of bluetooth just works pairing method: Vulnerabilities and enhancements","author":"Sadaoui","year":"2023"},{"key":"10.1016\/j.compeleceng.2026.111094_b9","doi-asserted-by":"crossref","unstructured":"Lounis Karim, Zulkernine Mohammad. Bluetooth Low Energy Makes\u201c Just Works\u201d Not Work. In: Cyber security in networking conference. 2019.","DOI":"10.1109\/CSNet47905.2019.9108931"},{"key":"10.1016\/j.compeleceng.2026.111094_b10","first-page":"2018","article-title":"An active man-in-the-middle attack on bluetooth smart devices","volume":"15","author":"Melamed","year":"2018","journal-title":"Saf Secur Stud"},{"issue":"5","key":"10.1016\/j.compeleceng.2026.111094_b11","doi-asserted-by":"crossref","first-page":"5749","DOI":"10.1007\/s12652-019-01502-z","article-title":"Ble injection-free attack: a novel attack on bluetooth low energy devices","volume":"14","author":"Santos","year":"2023","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"10.1016\/j.compeleceng.2026.111094_b12","series-title":"2020 IEEE symposium on security and privacy","first-page":"549","article-title":"Bias: Bluetooth impersonation attacks","author":"Antonioli","year":"2020"},{"key":"10.1016\/j.compeleceng.2026.111094_b13","series-title":"NDSS","article-title":"Extrapolating formal analysis to uncover attacks in bluetooth passkey entry pairing","author":"Jangid","year":"2023"},{"key":"10.1016\/j.compeleceng.2026.111094_b14","series-title":"2020 IEEE 19th international conference on trust, security and privacy in computing and communications","first-page":"1622","article-title":"Enhancing the security of numeric comparison secure simple pairing in bluetooth 5.0","author":"Hou","year":"2020"},{"key":"10.1016\/j.compeleceng.2026.111094_b15","doi-asserted-by":"crossref","unstructured":"Kainda Ronald, Flechais Ivan, Roscoe Andrew William. Usability and security of out-of-band channels in secure device pairing protocols. In: Proceedings of the 5th symposium on usable privacy and security. 2009, p. 1\u201312.","DOI":"10.1145\/1572532.1572547"},{"issue":"11","key":"10.1016\/j.compeleceng.2026.111094_b16","doi-asserted-by":"crossref","first-page":"19790","DOI":"10.1109\/JIOT.2024.3367799","article-title":"A lightweight and anonymous application-aware authentication and key agreement protocol for the internet of drones","volume":"11","author":"Pu","year":"2024","journal-title":"IEEE Internet Things J"},{"issue":"5","key":"10.1016\/j.compeleceng.2026.111094_b17","doi-asserted-by":"crossref","first-page":"4426","DOI":"10.1109\/TSG.2021.3072244","article-title":"An identity based authentication protocol for smart grid environment using physical uncloneable function","volume":"12","author":"Badar","year":"2021","journal-title":"IEEE Trans Smart Grid"},{"issue":"7","key":"10.1016\/j.compeleceng.2026.111094_b18","doi-asserted-by":"crossref","first-page":"9825","DOI":"10.1109\/TVT.2024.3363000","article-title":"A secure PUF-based authentication protocol for remote keyless entry systems in cars","volume":"73","author":"Parameswarath","year":"2024","journal-title":"IEEE Trans Veh Technol"},{"issue":"5","key":"10.1016\/j.compeleceng.2026.111094_b19","doi-asserted-by":"crossref","first-page":"6227","DOI":"10.1007\/s12652-021-03421-4","article-title":"A novel lightweight PUF based authentication protocol for IoT without explicit CRPs in verifier database","volume":"14","author":"Nimmy","year":"2023","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"10.1016\/j.compeleceng.2026.111094_b20","doi-asserted-by":"crossref","first-page":"2451","DOI":"10.1109\/TIFS.2023.3266624","article-title":"PUF-phenotype: A robust and noise-resilient approach to aid group-based authentication with DRAM-PUFs using machine learning","volume":"18","author":"Millwood","year":"2023","journal-title":"IEEE Trans Inf Forensics Secur"},{"key":"10.1016\/j.compeleceng.2026.111094_b21","series-title":"Formal modeling and security analysis method of security protocol based on CPN","author":"Gong","year":"2021"},{"key":"10.1016\/j.compeleceng.2026.111094_b22","doi-asserted-by":"crossref","first-page":"23674","DOI":"10.1109\/ACCESS.2020.2969474","article-title":"Formal analysis of 5G EAP-tls authentication protocol using proverif","volume":"8","author":"Zhang","year":"2020","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.compeleceng.2026.111094_b23","article-title":"Cryptanalysis and enhancement of an authenticated key agreement protocol for dew-assisted IoT systems","volume":"2022","author":"Ma","year":"2022","journal-title":"Secur Commun Networks"},{"key":"10.1016\/j.compeleceng.2026.111094_b24","series-title":"International conference on computer aided verification","first-page":"696","article-title":"The TAMARIN prover for the symbolic analysis of security protocols","author":"Meier","year":"2013"},{"issue":"2","key":"10.1016\/j.compeleceng.2026.111094_b25","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","article-title":"On the security of public key protocols","volume":"29","author":"Dolev","year":"2003","journal-title":"IEEE Trans Inform Theory"},{"issue":"4","key":"10.1016\/j.compeleceng.2026.111094_b26","doi-asserted-by":"crossref","first-page":"996","DOI":"10.3390\/s25040996","article-title":"Evolution of bluetooth technology: BLE in the IoT ecosystem","volume":"25","author":"Koulouras","year":"2025","journal-title":"Sensors (Basel, Switzerland)"},{"key":"10.1016\/j.compeleceng.2026.111094_b27","doi-asserted-by":"crossref","DOI":"10.1109\/JIOT.2025.3602311","article-title":"RePUF-IoT: Reconfigurable PUF-based authentication protocol for IoT-driven healthcare systems","author":"Tanveer","year":"2025","journal-title":"IEEE Internet Things J"},{"issue":"11","key":"10.1016\/j.compeleceng.2026.111094_b28","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/s10916-019-1440-0","article-title":"Marc: A novel framework for detecting mitm attacks in ehealthcare ble systems","volume":"43","author":"Yaseen","year":"2019","journal-title":"J Med Syst"},{"key":"10.1016\/j.compeleceng.2026.111094_b29","doi-asserted-by":"crossref","unstructured":"Che Xijia, He Yi, Feng Xuewei, Sun Kun, Xu Ke, Li Qi. Blueswat: A lightweight state-aware security framework for bluetooth low energy. In: Proceedings of the 2024 on ACM SIGSAC conference on computer and communications security. 2024, p. 2087\u2013101.","DOI":"10.1145\/3658644.3670397"},{"issue":"10","key":"10.1016\/j.compeleceng.2026.111094_b30","first-page":"129","article-title":"Lightweight PUF-based anonymous authentication protocol in V2G","volume":"45","author":"FAN","year":"2024","journal-title":"J Commun"}],"container-title":["Computers and Electrical Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0045790626001667?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0045790626001667?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T17:51:10Z","timestamp":1783187470000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0045790626001667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":30,"alternative-id":["S0045790626001667"],"URL":"https:\/\/doi.org\/10.1016\/j.compeleceng.2026.111094","relation":{},"ISSN":["0045-7906"],"issn-type":[{"value":"0045-7906","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Workflow-level formal analysis of BLE pairing and a lightweight server-assisted key agreement framework","name":"articletitle","label":"Article Title"},{"value":"Computers and Electrical Engineering","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.compeleceng.2026.111094","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"111094"}}