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