Applied cryptology, cryptographic protocols, and computer security models. - DeMillo, Richard A. (Proceedings of symposia in applied mathematics, 1983)