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