Proof of Logic: Correctness of Next Generation Security Mechanisms. IJCT [Internet]. 2013 July 15 [cited 2026 Oct. 23];9(1):964-75. Available from: https://www.rajpub.com/index.php/ijct/article/view/4156