Open access
2026
Secure Blockchain-Based Identity Authentication Mechanism for Edge-IoT Networks
A formal security analysis, a BAN logic derivation, and ProVerif-based verification establish the security of the mechanism, while BAN-based and experimental ablation studies confirm the necessity of each proposed method for achieving continual identity verification.
Aditya Pathak, Irfan S. Al-Anbagi, Howard J. Hamilton
· IEEE Open Journal of the Com... · 0 citations