Swar A, Belal M, Ehssan Aly SA. Split-Plane Decentralized Middleware For Secure Multi-Protocol Iot Communication: Architecture, Formal Verification, And Experimental Validation. IJAIML [Internet]. 2026 Jun. 1 [cited 2026 Jul. 7];6(4s):964-86. Available from: https://www.svedbergopen.com/index.php/ijaiml/article/view/534