Visible to the public Trust Engineering with Cryptographic Protocols