Bernardo, D. V. (2013). Proof of Logic: Correctness of Next Generation Security Mechanisms. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY, 9(1), 964–975. https://doi.org/10.24297/ijct.v9i1.4156