The Perils of Unauthenticated Encryption: Kerberos Version 4