“Proof of Logic: Correctness of Next Generation Security Mechanisms”, IJCT, vol. 9, no. 1, pp. 964–975, Jul. 2013, doi: 10.24297/ijct.v9i1.4156.