DeMillo, Richard A. Applied Cryptology, Cryptographic Protocols And Computer Security Models Richard A. DeMillo - San Francisco 1981