CRSep 11, 2015
Key Exchange Protocol in the Trusted Data Servers Context
arXiv:1509.03646v11 citations
Originality Synthesis-oriented
AI Analysis
This work addresses secure communication in trusted data server contexts, but it is incremental as it builds directly on prior research.
The paper proposes a Group Key Exchange protocol for secure key creation and exchange between Queriers and Trusted Data Servers, and formally proves its security using a game-based model while comparing it to related works.
The aim of this technical report is to complement the work in [To et al. 2014] by proposing a Group Key Exchange protocol so that the Querier and TDSs (and TDSs themselves) can securely create and exchange the shared key. Then, the security of this protocol is formally proved using the game-based model. Finally, we perform the comparison between this protocol and other related works.