2021 by Mike Rosulek, Oregon State University.
The approach is anchored in formal definitions/proof of security, but more accessible than what is "traditional" in crypto. All security definitions are written in a unified and simplified "game-based" style. For an example of what security definitions look like in this style, see the index of security definitions. Includes exercises but no solutions.
Unlimited User Ebooks in UML Library: Network Security