Protocol composition
Protocols for Authentication and Key Establishment [1] 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 [2] by Wenbo Mao. Few chapters have very good introduction to designing protocols in attack-fix cycles. 

and few more


Boyd, Colin, and Anish Mathuria. Protocols for authentication
and key establishment. Springer, (2003). 
Wenbo, Mao. "Modern cryptography: theory and practice." Publisher: Prentice Hall PTR,
Copyright: Hewlett Packard (2004).
Cremers, Cas, and Sjouke Mauw. Operational semantics and verification of security protocols Berlin: Springer, 2012. This is an excellent single book that covers all the aspects needed in great detail and rigor. 
Bella, Giampaolo. Formal correctness of security protocols. Heidelberg: Springer, 2007.