Bernardo, D. V. Proof of Logic: Correctness of Next Generation Security Mechanisms. IJCT 2013, 9, 964-975.