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