Textmeddelande: Applied cryptology, cryptographic protocols, and computer security models.