Applied cryptology, cryptographic protocols, and computer security models (Proceedings of symposia in applied mathematics, 1983)