Swar, A., Belal, M., & Ehssan Aly, S. A. (2026). Split-Plane Decentralized Middleware For Secure Multi-Protocol Iot Communication: Architecture, Formal Verification, And Experimental Validation. International Journal of Artificial Intelligence and Machine Learning, 6(4s), 964–986. https://doi.org/10.51483/IJAIML.6.4s.2026.964-986