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