With an emphasis on precise definitions of cryptography as well as provable security, "Introduction to Modern Cryptography: Principles and Protocols" presents many definitions ...