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. 6];6(4s):964-86. Available from: https://svedbergopen.com/index.php/ijaiml/article/view/534