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