Proof of Logic: Correctness of Next Generation Security Mechanisms. (2013). INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 9(1), 964-975. https://doi.org/10.24297/ijct.v9i1.4156