Bernardo, D. V. “Proof of Logic: Correctness of Next Generation Security Mechanisms”. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY, vol. 9, no. 1, July 2013, pp. 964-75, doi:10.24297/ijct.v9i1.4156.