BERNARDO, D. V. Proof of Logic: Correctness of Next Generation Security Mechanisms. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, [S. l.], v. 9, n. 1, p. 964–975, 2013. DOI: 10.24297/ijct.v9i1.4156. Disponível em: https://rajpub.com/index.php/ijct/article/view/4156. Acesso em: 18 may. 2024.