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