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