The Problem Theorem:If X holds,then Y(X) is secure.the only known universal/constructive reduction:(E)R(A)A:If A breaks X,then R breaks Y.the security requireme
Creating a secure protocol:main questions Which main lessons should we learn before starting protocolsynthesis?How can we create a secure protocol from a scratc
Outline 1 Introduction2 Motivation3 Our Contributions4 System model and security model5 The concrete scheme6 Performance Analysis and Security Analysis7 Conclus