Bernardo, Danilo Valeros. “Proof of Logic: Correctness of Next Generation Security Mechanisms”. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 9, no. 1 (July 15, 2013): 964–975. Accessed May 18, 2024. https://rajpub.com/index.php/ijct/article/view/4156.