Applied cryptology, cryptographic protocols, and computer security models (American Mathematical Society, 1983)