Formal Verification Applied to Cryptographic Protocols