Secure Logging as a Service—Delegating Log Management to the Cloud
On the security of public key protocols