I am working on few cloud cryptography protocols. i am new to protocol design, definitions and proving .
With some preliminary research i understand that there are two models of security proofs one is based on Dolev-Yao model and other is based on Complexity theory .
Are there any good papers using the above approaches , that would help me as reference ?
Edit: I want to manually work out the proofs first, so am looking for good reference examples of papers which does so