Proof of Logic: Correctness of Next Generation Security Mechanisms. IJCT 2013, 9 (1), 964-975. https://doi.org/10.24297/ijct.v9i1.4156.