security_proof.tex 19.6 KB