Applied Cryptology, Cryptographic Protocols, and Computer Security Models - pokkari, Englanti, 1983