D. V. Bernardo, “Proof of Logic: Correctness of Next Generation Security Mechanisms”, IJCT, vol. 9, no. 1, pp. 964–975, Jul. 2013.