Email Record: Applied cryptology, cryptographic protocols, and computer security models