Alexander Cheremushkin's book "Cryptographic Protocols: Basic Properties and Vulnerabilities" outlines the basic concepts associated with cryptographic protocols, considers the basic properties that characterize security, and typical vulnerabilities using the example of well-known protocols.