Return to Article Details A Novel Mathematical Formal Proof in Zhang-Wang's Cryptographic Algorithm Download Download PDF