A rigorous treatment of Encryption, Signatures, and General Cryptographic Protocols, emphasizing fundamental concepts.