I have been trying to wrap my head around different definitions of protocol security (stand alone, sequential composition, parallel composition, universal composition) and how the proofs of any of these cases are obtained. However, at current state I find it quite complicated. Can you recommend any good lecture materials or maybe survey articles that would help to get into this topic?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
This question appears to be off-topic. The users who voted to close gave this specific reason:
Protocols for Authentication and Key Establishment  By Colin Boyd is considered very good book. That has plethora of examples, proofs etc. in very understandable language and format.
Another book is Modern Cryptography Theory And Practice  by Wenbo Mao. Few chapters have very good introduction to designing protocols in attack-fix cycles.
and few more