TheWorksheets.com

Cryptography: An Introduction (3rd Edition) - UMD

cryptography and one deals with formal approaches to protocol design. Both of these chapters can be read without having met complexity theory or formal methods before. Much of the approach of the book in relation to public key algorithms is reductionist in nature.