Loading...

Forsakes: A forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes

Dousti, M. S ; Sharif University of Technology | 2015

384 Viewed
  1. Type of Document: Article
  2. DOI: 10.3934/amc.2015.9.471
  3. Publisher: American Institute of Mathematical Sciences , 2015
  4. Abstract:
  5. This paper suggests a model and a definition for forward-secure authenticated key exchange (AKE) protocols, which can be satisfied without depending on the Diffie–Hellman assumption. The basic idea is to use keyevolving schemes (KES), where the long-term keys of the system get updated regularly and irreversibly. Protocols conforming to our model can be highly efficient, since they do not require the resource-intensive modular exponentiations of the Diffie–Hellman protocol. We also introduce a protocol, called FORSAKES, and prove rigorously that it is a forward-secure AKE protocol in our model. FORSAKES is a very efficient protocol, and can be implemented by merely using hash functions
  6. Keywords:
  7. Authenticated key exchange protocol ; Forward security ; Key evolving schemes ; Provable security ; Security model
  8. Source: Advances in Mathematics of Communications ; Volume 9, Issue 4 , November , 2015 , Pages 471-514 ; 19305346 (ISSN)
  9. URL: http://www.aimsciences.org/journals/displayArticlesnew.jsp?paperID=11939