Take the 2-minute tour ×
Cryptography Stack Exchange is a question and answer site for software developers, mathematicians and others interested in cryptography. It's 100% free, no registration required.

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?

share|improve this question

put on hold as off-topic by tylo, otus, Gilles, e-sushi, archie Jul 24 at 20:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

If this question can be reworded to fit the rules in the help center, please edit the question.

    
I assume you've read Canetti's "paper" that has already grown to a small book: eprint.iacr.org/2000/067 –  Edvard Fagerholm Jun 19 at 10:03
    
At least I have tried reading it. My hope was that maybe there is a more easily readable introduction material. –  DragonMouse Jun 19 at 12:04
    
You got a view recommendations already, so hopefully there was something useful for you. But anyway, reference recommendations are offtopic here. –  tylo Jul 24 at 14:54

1 Answer 1

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

  1. Boyd, Colin, and Anish Mathuria. Protocols for authentication and key establishment. Springer, (2003).
  2. Wenbo, Mao. "Modern cryptography: theory and practice." Publisher: Prentice Hall PTR, Copyright: Hewlett Packard (2004).
  3. Cremers, Cas, and Sjouke Mauw. Operational semantics and verification of security protocols Berlin: Springer, 2012.
  4. Bella, Giampaolo. Formal correctness of security protocols. Heidelberg: Springer, 2007.
share|improve this answer
    
I could not see anything about the (e)CK model in the index of the first book. The eCK-model is from 2007 non-extended one is from 2001, however, the book is from 2003. –  Edvard Fagerholm Jun 19 at 10:00

Not the answer you're looking for? Browse other questions tagged or ask your own question.