Applied cryptology, cryptographic protocols, and computer security models. - DeMillo, Richard A. (American Mathematical Society, 1983)