Formal proofs of cryptographic security of network protocols