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